Pranay Thangeda

According to our database, Pranay Thangeda authored at least 12 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Moral Imperative: The Need for Continual Superalignment of Large Language Models.

Gokul Puthumanaillam, Manav Vora, Pranay Thangeda, Melkior Ornik

CoRR, 2024

2023

Efficient Strategy Synthesis for MDPs With Resource Constraints.

Frantisek Blahoudek, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu

IEEE Trans. Autom. Control., August, 2023

Expedited Online Learning With Spatial Side Information.

Pranay Thangeda, Melkior Ornik, Ufuk Topcu

IEEE Trans. Autom. Control., March, 2023

Welfare Maximization Algorithm for Solving Budget-Constrained Multi-Component POMDPs.

Manav Vora, Pranay Thangeda, Michael N. Grussing, Melkior Ornik

IEEE Control. Syst. Lett., 2023

Learning and Autonomy for Extraterrestrial Terrain Sampling: An Experience Report from OWLAT Deployment.

Pranay Thangeda, Ashish Goel, Erica Tevere, Yifan Zhu, Erik Kramer, Adriana Daca, Hari Nayar, Kris Hauser, Melkior Ornik

CoRR, 2023

Few-shot Adaptation for Manipulating Granular Materials Under Domain Shift.

Yifan Zhu, Pranay Thangeda, Melkior Ornik, Kris Hauser

Proceedings of the Robotics: Science and Systems XIX, Daegu, 2023

2022

Adaptive Sampling Site Selection for Robotic Exploration in Unknown Environments.

Pranay Thangeda, Melkior Ornik

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

2021

Optimal Routing in Stochastic Networks with Reliability Guarantees.

Wanzheng Zheng, Pranay Thangeda, Yagiz Savas, Melkior Ornik

Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption.

Frantisek Blahoudek, Murat Cubuktepe, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

PROTRIP: Probabilistic Risk-Aware Optimal Transit Planner.

Pranay Thangeda, Melkior Ornik

Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

Qualitative Controller Synthesis for Consumption Markov Decision Processes.

Frantisek Blahoudek, Tomás Brázdil, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Safety-Guaranteed, Accelerated Learning in MDPs with Local Side Information.

Pranay Thangeda, Melkior Ornik

Proceedings of the 2020 American Control Conference, 2020