Lahijanian, Morteza

12 publications

IJCAI 2025 Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games Karan Muvvala, Qi Heng Ho, Morteza Lahijanian

AAAI 2025 Error Bounds for Gaussian Process Regression Under Bounded Support Noise with Applications to Safety Certification Robert Reed, Luca Laurenti, Morteza Lahijanian

UAI 2025 Error Bounds for Physics-Informed Neural Networks in Fokker-Planck PDEs Chun-Wei Kong, Luca Laurenti, Jay McMahon, Morteza Lahijanian

L4DC 2025 Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances Ibon Gracia, Luca Laurenti, Manuel Mazo Jr, Alessandro Abate, Morteza Lahijanian

L4DC 2024 Data-Driven Strategy Synthesis for Stochastic Systems with Unknown Nonlinear Disturbances Ibon Gracia, Dimitris Boskos, Luca Laurenti, Morteza Lahijanian

UAI 2024 Recursively-Constrained Partially Observable Markov Decision Processes Qi Heng Ho, Tyler Becker, Benjamin Kraske, Zakariya Laouar, Martin Feather, Federico Rossi, Morteza Lahijanian, Zachary Sunberg

UAI 2024 Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives Qi Heng Ho, Martin Feather, Federico Rossi, Zachary Sunberg, Morteza Lahijanian

ICML 2023 BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming Steven Adams, Andrea Patane, Morteza Lahijanian, Luca Laurenti

NeurIPS 2022 An Algorithm for Learning Switched Linear Dynamics from Data Guillaume Berger, Monal Narasimhamurthy, Kandai Watanabe, Morteza Lahijanian, Sriram Sankaranarayanan

NeurIPS 2022 Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions Rayan Mazouz, Karan Muvvala, Akash Ratheesh Babu, Luca Laurenti, Morteza Lahijanian

AAAI 2015 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

AAAI 2014 Optimal and Efficient Stochastic Motion Planning in Partially-Known Environments Ryan Luna, Morteza Lahijanian, Mark Moll, Lydia E. Kavraki