| 2026 | AAAI | Universal Learning of Stochastic Dynamics for Exact Belief Propagation Using Bernstein Normalizing Flows. | Peter Amorese, Morteza Lahijanian |
| 2025 | AAAI | Error Bounds for Gaussian Process Regression Under Bounded Support Noise with Applications to Safety Certification. | Robert Reed, Luca Laurenti, Morteza Lahijanian |
| 2025 | IJCAI | Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games. | Karan Muvvala, Qi Heng Ho, Morteza Lahijanian |
| 2025 | IROS | Multi-Robot Motion Planning with Cooperative Localization. | Anne Theurkauf, Nisar R. Ahmed, Morteza Lahijanian |
| 2025 | UAI | Error Bounds for Physics-Informed Neural Networks in Fokker-Planck PDEs. | Chun-Wei Kong, Luca Laurenti, Jay W. McMahon, Morteza Lahijanian |
| 2024 | ICRA | Stochastic Games for Interactive Manipulation Domains. | Karan Muvvala, Andrew M. Wells, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi |
| 2024 | ICRA | Optimal Planning for Timed Partial Order Specifications. | Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Hideki Okamoto, Sriram Sankaranarayanan |
| 2024 | UAI | Recursively-Constrained Partially Observable Markov Decision Processes. | Qi Heng Ho, Tyler J. Becker, Benjamin Kraske, Zakariya Laouar, Martin S. Feather, Federico Rossi, Morteza Lahijanian, Zachary Sunberg |
| 2024 | UAI | Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives. | Qi Heng Ho, Martin S. Feather, Federico Rossi, Zachary Sunberg, Morteza Lahijanian |
| 2024 | SoCS | Introducing Delays in Multi Agent Path Finding. | Justin Kottinger, Tzvika Geft, Shaull Almagor, Oren Salzman, Morteza Lahijanian |
| 2023 | ICML | BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming. | Steven Adams, Andrea Patane, Morteza Lahijanian, Luca Laurenti |
| 2023 | ICRA | Planning with SiMBA: Motion Planning under Uncertainty for Temporal Goals using Simplified Belief Guides. | Qi Heng Ho, Zachary N. Sunberg, Morteza Lahijanian |
| 2023 | ICRA | Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic. | Roland B. Ilyes, Qi Heng Ho, Morteza Lahijanian |
| 2023 | IROS | Optimal Cost-Preference Trade-Off Planning with Multiple Temporal Tasks. | Peter Amorese, Morteza Lahijanian |
| 2023 | IROS | Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks. | Karan Muvvala, Morteza Lahijanian |
| 2023 | ICRA | Chance-Constrained Motion Planning with Event-Triggered Estimation. | Anne Theurkauf, Qi Heng Ho, Roland B. Ilyes, Nisar R. Ahmed, Morteza Lahijanian |
| 2022 | ICRA | Gaussian Belief Trees for Chance Constrained Asymptotically Optimal Motion Planning. | Qi Heng Ho, Zachary N. Sunberg, Morteza Lahijanian |
| 2022 | ICRA | Let's Collaborate: Regret-based Reactive Synthesis for Robotic Manipulation. | Karan Muvvala, Peter Amorese, Morteza Lahijanian |
| 2022 | IROS | Conflict-Based Search for Multi-Robot Motion Planning with Kinodynamic Constraints. | Justin Kottinger, Shaull Almagor, Morteza Lahijanian |
| 2021 | ICRA | MAPS-X: Explainable Multi-Robot Motion Planning via Segmentation. | Justin Kottinger, Shaull Almagor, Morteza Lahijanian |
| 2021 | IROS | Probabilistic Specification Learning for Planning with Safety Constraints. | Kandai Watanabe, Nicholas Renninger, Sriram Sankaranarayanan, Morteza Lahijanian |
| 2021 | ICRA | Finite-Horizon Synthesis for Probabilistic Manipulation Domains. | Andrew M. Wells, Zachary Kingston, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi |
| 2019 | IROS | Gaze-based Intention Anticipation over Driving Manoeuvres in Semi-Autonomous Vehicles. | Min Wu, Tyron Louw, Morteza Lahijanian, Wenjie Ruan, Xiaowei Huang, Natasha Merat, Marta Kwiatkowska |
| 2018 | IROS | Uncertainty-based Online Mapping and Motion Planning for Marine Robotics Guidance. | ric Pairet, Juan David Hernndez, Morteza Lahijanian, Marc Carreras |
| 2017 | IROS | Reactive synthesis for finite tasks under resource constraints. | Keliang He, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi |
| 2015 | AAAI | This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction. | Morteza Lahijanian, Shaull Almagor, Dror Fried, Lydia E. Kavraki, Moshe Y. Vardi |
| 2015 | ICRA | Towards manipulation planning with temporal logic specifications. | Keliang He, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi |
| 2014 | AAAI | Optimal and Efficient Stochastic Motion Planning in Partially-Known Environments. | Ryan Luna, Morteza Lahijanian, Mark Moll, Lydia E. Kavraki |
| 2014 | ICRA | A sampling-based strategy planner for nondeterministic hybrid systems. | Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi |
| 2014 | ICRA | Fast stochastic motion planning with optimality guarantees using local policy reconfiguration. | Ryan Luna, Morteza Lahijanian, Mark Moll, Lydia E. Kavraki |
| 2014 | WAFR | Asymptotically Optimal Stochastic Motion Planning with Temporal Goals. | Ryan Luna, Morteza Lahijanian, Mark Moll, Lydia E. Kavraki |
| 2012 | ICRA | Temporal logic motion control using actor-critic methods. | Xu Chu Ding, Jing Wang, Morteza Lahijanian, Ioannis Ch. Paschalidis, Calin Belta |
| 2010 | ICRA | Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees. | Morteza Lahijanian, Joseph Wasniewski, Sean B. Andersson, Calin Belta |
| 2009 | ICRA | Automatic deployment of autonomous cars in a Robotic Urban-Like Environment (RULE). | Morteza Lahijanian, Marius Kloetzer, Sara Itani, Calin Belta, Sean B. Andersson |