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
Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020
9*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
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
42021
Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption
F Blahoudek, M Cubuktepe, P Novotný, M Ornik, P Thangeda, U Topcu
Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 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
Efficient learning and planning using spatial side information
P Thangeda
12020
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
Welfare Maximization Algorithm for Solving Budget-Constrained Multi-Component POMDPs
M Vora, P Thangeda, MN Grussing, M Ornik
IEEE Control Systems Letters, 2023
2023
Few-shot Adaptation for Manipulating Granular Materials Under Domain Shift
Y Zhu, P Thangeda, M Ornik, K Hauser
arXiv preprint arXiv:2303.02893, 2023
2023
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
The system can't perform the operation now. Try again later.
Articles 1–12