| Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions M Rayan, M Karan, R Akash, L Luca, L Morteza Conference on Neural Information Processing Systems, 2022 | 10* | 2022 |
| Let's Collaborate: Regret-based Reactive Synthesis for Robotic Manipulation K Muvvala, P and Amorese, M and Lahijanian 2022 International Conference on Robotics and Automation (ICRA), 4340-4346, 2022 | 10 | 2022 |
| Expert-Informed Autonomous Science Planning for In-situ Observations and Discoveries J McMahon, N Ahmed, M Lahijanian, P Amorese, D Taralicin, K Muvvala, ... 2022 IEEE Aerospace Conference (AERO), 1-11, 2022 | 4 | 2022 |
| REASON-RECOURSE Software for Science Operations of Autonomous Robotic Landers J McMahon, N Ahmed, M Lahijanian, P Amorese, T Deka, K Muvvala, ... 2023 IEEE Aerospace Conference, 1-11, 2023 | 2 | 2023 |
| Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks K Muvvala, M Lahijanian 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2023 | 1 | 2023 |
| Human-aware strategy synthesis for robotic manipulators using regret games K Muvvala University of Colorado at Boulder, 2021 | 1 | 2021 |
| Stochastic Games for Interactive Manipulation Domains K Muvvala, A Wells, M Lahijanian, L Kavraki, M Vardi | | 2023 |
Morteza LahijanianUniversity of Colorado BoulderVerified email at colorado.edu
