Follow
Pranay Thangeda
Pranay Thangeda
Verified email at illinois.edu - Homepage
Title
Cited by
Cited by
Year
Qualitative controller synthesis for consumption Markov decision processes
F Blahoudek, T Brázdil, P Novotný, M Ornik, P Thangeda, U Topcu
International Conference on Computer Aided Verification, 421-447, 2020
8*2020
Synthesis of optimal trajectories in aerial engagements using differential evolution
P Thangeda, AK Bhattacharya, R Gopal, RGA Kumar
IFAC-PapersOnLine 51 (1), 90-97, 2018
72018
Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption
F Blahoudek, M Cubuktepe, P Novotný, M Ornik, P Thangeda, U Topcu
International Symposium on Formal Methods, 640-656, 2021
22021
Optimal Routing in Stochastic Networks with Reliability Guarantees
W Zheng, P Thangeda, Y Savas, M Ornik
2021 IEEE International Intelligent Transportation Systems Conference (ITSC …, 2021
22021
Efficient Strategy Synthesis for MDPs with Resource Constraints
F Blahoudek, P Novotný, M Ornik, P Thangeda, U Topcu
IEEE Transactions on Automatic Control, 2022
12022
PROTRIP: Probabilistic risk-aware optimal transit planner
P Thangeda, M Ornik
2020 IEEE 23rd International Conference on Intelligent Transportation …, 2020
12020
Safety-guaranteed, accelerated learning in MDPs with local side information
P Thangeda, M Ornik
2020 American Control Conference (ACC), 1099-1104, 2020
12020
Expedited Online Learning with Spatial Side Information
P Thangeda, M Ornik, U Topcu
IEEE Transactions on Automatic Control, 2022
2022
Adaptive Sampling Site Selection for Robotic Exploration in Unknown Environments
P Thangeda, M Ornik
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2022
2022
Efficient learning and planning using spatial side information
P Thangeda
2020
The system can't perform the operation now. Try again later.
Articles 1–10