Pranay Thangeda
Title
Cited by
Cited by
Year
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
52018
Efficient Strategy Synthesis for MDPs with Resource Constraints
F Blahoudek, P Novotný, M Ornik, P Thangeda, U Topcu
arXiv e-prints, arXiv: 2105.02099, 2021
2021
PROTRIP: Probabilistic Risk-Aware Optimal Transit Planner
P Thangeda, M Ornik
2020 IEEE 23rd International Conference on Intelligent Transportation …, 2020
2020
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
2020
Safety-Guaranteed, Accelerated Learning in MDPs with Local Side Information
P Thangeda, M Ornik
2020 American Control Conference (ACC), 1099-1104, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–5