Observers in Language-Based Control. - Sean B. Andersson; Dimitris Hristu-Varsakelis; Morteza Lahijanian (Commun. Inf. Syst., 2008)

A probabilistic approach for control of a stochastic system from LTL specifications. - Morteza Lahijanian; Sean B. Andersson; Calin Belta (CDC, 2009)

Automatic deployment of autonomous cars in a Robotic Urban-Like Environment (RULE). - Morteza Lahijanian; Marius Kloetzer; Sara Itani; Calin Belta; Sean B. Andersson (ICRA, 2009)

Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees. - Morteza Lahijanian; Joseph Wasniewski; Sean B. Andersson; Calin Belta (ICRA, 2010)

Control of Markov decision processes from PCTL specifications. - Morteza Lahijanian; Sean B. Andersson; Calin Belta (ACC, 2011)

Least squares temporal difference actor-critic methods with applications to robot motion control. - Reza Moazzez Estanjini; Xu Chu Ding; Morteza Lahijanian; Jing Wang 044; Calin Belta; Ioannis Ch. Paschalidis (CDC/ECC, 2011)

Probabilistically Safe Vehicle Control in a Hostile Environment - Igor Cizelj; Xu Chu Ding; Morteza Lahijanian; Alessandro Pinto; Calin Belta (CoRR, 2011)

Approximate Markovian abstractions for linear stochastic systems. - Morteza Lahijanian; Sean B. Andersson; Calin Belta (CDC, 2012)

Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees. - Morteza Lahijanian; Sean B. Andersson; Calin Belta (IEEE Trans. Robotics, 2012)

Iterative temporal motion planning for hybrid systems in partially unknown environments. - Matthew R. Maly; Morteza Lahijanian; Lydia E. Kavraki; Hadas Kress-Gazit; Moshe Y. Vardi (HSCC, 2013)

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

A sampling-based strategy planner for nondeterministic hybrid systems. - Morteza Lahijanian; Lydia E. Kavraki; Moshe Y. Vardi (ICRA, 2014)

Fast stochastic motion planning with optimality guarantees using local policy reconfiguration. - Ryan Luna; Morteza Lahijanian; Mark Moll; Lydia E. Kavraki (ICRA, 2014)

Asymptotically Optimal Stochastic Motion Planning with Temporal Goals. - Ryan Luna; Morteza Lahijanian; Mark Moll; Lydia E. Kavraki (WAFR, 2014)

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, 2015)

Towards manipulation planning with temporal logic specifications. - Keliang He; Morteza Lahijanian; Lydia E. Kavraki; Moshe Y. Vardi (ICRA, 2015)

Temporal logic motion control using actor-critic methods. - Jing Wang 044; Xu Chu Ding; Morteza Lahijanian; Ioannis Ch. Paschalidis; Calin Belta (Int. J. Robotics Res., 2015)

Formal Verification and Synthesis for Discrete-Time Stochastic Systems. - Morteza Lahijanian; Sean B. Andersson; Calin Belta (IEEE Trans. Autom. Control., 2015)

Social Trust: A Major Challenge for the Future of Autonomous Systems. - Morteza Lahijanian; Marta Kwiatkowska (AAAI Fall Symposia, 2016)

Specification revision for Markov decision processes with optimal trade-off. - Morteza Lahijanian; Marta Z. Kwiatkowska (CDC, 2016)

Resource-Performance Trade-off Analysis for Mobile Robots. - María Svorenová; Morteza Lahijanian; Akshay A. Morye; Dushyant Rao; Ingmar Posner; Paul Newman 001; Hadas Kress-Gazit; Marta Kwiatkowska (CoRR, 2016)

Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees. - Morteza Lahijanian; Matthew R. Maly; Dror Fried; Lydia E. Kavraki; Hadas Kress-Gazit; Moshe Y. Vardi (IEEE Trans. Robotics, 2016)

Reactive synthesis for finite tasks under resource constraints. - Keliang He; Morteza Lahijanian; Lydia E. Kavraki; Moshe Y. Vardi (IROS, 2017)

Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes. - Ernst Moritz Hahn; Vahid Hashemi; Holger Hermanns; Morteza Lahijanian; Andrea Turrini (QEST, 2017)

Uncertainty-based Online Mapping and Motion Planning for Marine Robotics Guidance. - Èric Pairet; Juan David Hernández; Morteza Lahijanian; Marc Carreras (IROS, 2018)

Synthesis for Robots: Guarantees and Feedback for Robot Behavior. - Hadas Kress-Gazit; Morteza Lahijanian; Vasumathi Raman (Annu. Rev. Control. Robotics Auton. Syst., 2018)

Integrating Temporal Reasoning and Sampling-Based Motion Planning for Multigoal Problems With Dynamics and Time Windows. - Stefan Edelkamp; Morteza Lahijanian; Daniele Magazzeni; Erion Plaku (IEEE Robotics Autom. Lett., 2018)

Resource-Performance Tradeoff Analysis for Mobile Robots. - Morteza Lahijanian; María Svorenová; Akshay A. Morye; Brian Yeomans; Dushyant Rao; Ingmar Posner; Paul Newman 001; Hadas Kress-Gazit; Marta Kwiatkowska (IEEE Robotics Autom. Lett., 2018)

Correct-by-Construction Advanced Driver Assistance Systems Based on a Cognitive Architecture. - Francisco Eiras; Morteza Lahijanian; Marta Kwiatkowska (CAVS, 2019)

Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems. - Nathalie Cauchi; Luca Laurenti; Morteza Lahijanian; Alessandro Abate; Marta Kwiatkowska; Luca Cardelli (HSCC, 2019)

Gaze-based Intention Anticipation over Driving Manoeuvres in Semi-Autonomous Vehicles. - Min Wu 011; Tyron Louw; Morteza Lahijanian; Wenjie Ruan; Xiaowei Huang 001; Natasha Merat; Marta Kwiatkowska (IROS, 2019)

Automated Abstraction of Manipulation Domains for Cost-Based Reactive Synthesis. - Keliang He; Morteza Lahijanian; Lydia E. Kavraki; Moshe Y. Vardi (IEEE Robotics Autom. Lett., 2019)

Interval Markov Decision Processes with Multiple Objectives: From Robust Strategies to Pareto Curves. - Ernst Moritz Hahn; Vahid Hashemi; Holger Hermanns; Morteza Lahijanian; Andrea Turrini (ACM Trans. Model. Comput. Simul., 2019)

Explainable Multi Agent Path Finding. - Shaull Almagor; Morteza Lahijanian (AAMAS, 2020)

Safety Verification of Unknown Dynamical Systems via Gaussian Process Regression. - John Jackson; Luca Laurenti; Eric W. Frew; Morteza Lahijanian (CDC, 2020)

Online Mapping and Motion Planning under Uncertainty for Safe Navigation in Unknown Environments. - Èric Pairet; Juan David Hernández; Yvan R. Petillot; Morteza Lahijanian (CoRR, 2020)

LTLf Synthesis on Probabilistic Systems. - Andrew M. Wells; Morteza Lahijanian; Lydia E. Kavraki; Moshe Y. Vardi (GandALF, 2020)

Synergistic Offline-Online Control Synthesis via Local Gaussian Process Regression. - John Jackson; Luca Laurenti; Eric W. Frew; Morteza Lahijanian (CDC, 2021)

Strategy synthesis for partially-known switched stochastic systems. - John Jackson; Luca Laurenti; Eric W. Frew; Morteza Lahijanian (HSCC, 2021)

MAPS-X: Explainable Multi-Robot Motion Planning via Segmentation. - Justin Kottinger; Shaull Almagor; Morteza Lahijanian (ICRA, 2021)

Finite-Horizon Synthesis for Probabilistic Manipulation Domains. - Andrew M. Wells; Zachary Kingston; Morteza Lahijanian; Lydia E. Kavraki; Moshe Y. Vardi (ICRA, 2021)

Probabilistic Specification Learning for Planning with Safety Constraints. - Kandai Watanabe; Nicholas Renninger; Sriram Sankaranarayanan 001; Morteza Lahijanian (IROS, 2021)

Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes. - Luca Laurenti; Morteza Lahijanian; Alessandro Abate; Luca Cardelli; Marta Kwiatkowska (IEEE Trans. Autom. Control., 2021)

Conflict-Based Search for Explainable Multi-Agent Path Finding. - Justin Kottinger; Shaull Almagor; Morteza Lahijanian (ICAPS, 2022)

Shielded Deep Reinforcement Learning for Multi-Sensor Spacecraft Imaging. - Islam Nazmy; Andrew Harris; Morteza Lahijanian; Hanspeter Schaub (ACC, 2022)

Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications. - Qi Heng Ho; Roland B. Ilyes; Zachary N. Sunberg; Morteza Lahijanian (CDC, 2022)

Pareto Optimal Strategies for Event-triggered Estimation. - Anne Theurkauf; Nisar R. Ahmed; Morteza Lahijanian (CDC, 2022)

Gaussian Belief Trees for Chance Constrained Asymptotically Optimal Motion Planning. - Qi Heng Ho; Zachary N. Sunberg; Morteza Lahijanian (ICRA, 2022)

Let's Collaborate: Regret-based Reactive Synthesis for Robotic Manipulation. - Karan Muvvala; Peter Amorese; Morteza Lahijanian (ICRA, 2022)

Conflict-Based Search for Multi-Robot Motion Planning with Kinodynamic Constraints. - Justin Kottinger; Shaull Almagor; Morteza Lahijanian (IROS, 2022)

An Algorithm for Learning Switched Linear Dynamics from Data. - Guillaume O. Berger; Monal Narasimhamurthy; Kandai Watanabe; Morteza Lahijanian; Sriram Sankaranarayanan 001 (NeurIPS, 2022)

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

Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression. - John Jackson; Luca Laurenti; Eric W. Frew; Morteza Lahijanian (CoRR, 2022)

Formal Control Synthesis for Stochastic Neural Network Dynamic Models. - Steven Adams; Morteza Lahijanian; Luca Laurenti (IEEE Control. Syst. Lett., 2022)

Online Mapping and Motion Planning Under Uncertainty for Safe Navigation in Unknown Environments. - Èric Pairet; Juan David Hernández; Marc Carreras; Yvan R. Petillot; Morteza Lahijanian (IEEE Trans Autom. Sci. Eng., 2022)

Timed Partial Order Inference Algorithm. - Kandai Watanabe; Georgios Fainekos; Bardh Hoxha; Morteza Lahijanian; Danil V. Prokhorov; Sriram Sankaranarayanan 001; Tomoya Yamaguchi 001 (ICAPS, 2023)

Interval Markov Decision Processes with Continuous Action-Spaces. - Giannis Delimpaltadakis; Morteza Lahijanian; Manuel Mazo Jr. 002; Luca Laurenti (HSCC, 2023)

Poster Abstract: Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty. - Qi Heng Ho; Roland B. Ilyes; Zachary Sunberg; Morteza Lahijanian (HSCC, 2023)

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

Planning with SiMBA: Motion Planning under Uncertainty for Temporal Goals using Simplified Belief Guides. - Qi Heng Ho; Zachary N. Sunberg; Morteza Lahijanian (ICRA, 2023)

Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic. - Roland B. Ilyes; Qi Heng Ho; Morteza Lahijanian (ICRA, 2023)

Chance-Constrained Motion Planning with Event-Triggered Estimation. - Anne Theurkauf; Qi Heng Ho; Roland B. Ilyes; Nisar R. Ahmed; Morteza Lahijanian (ICRA, 2023)

Optimal Cost-Preference Trade-Off Planning with Multiple Temporal Tasks. - Peter Amorese; Morteza Lahijanian (IROS, 2023)

Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks. - Karan Muvvala; Morteza Lahijanian (IROS, 2023)

Introducing Delays in Multi-Agent Path Finding. - Justin Kottinger; Shaull Almagor; Oren Salzman; Morteza Lahijanian (CoRR, 2023)

Unifying Safety Approaches for Stochastic Systems: From Barrier Functions to Uncertain Abstractions via Dynamic Programming. - Luca Laurenti; Morteza Lahijanian (CoRR, 2023)

Promises of Deep Kernel Learning for Control Synthesis. - Robert Reed; Luca Laurenti; Morteza Lahijanian (IEEE Control. Syst. Lett., 2023)

Formal Abstraction of General Stochastic Systems via Noise Partitioning. - John Skovbekk; Luca Laurenti; Eric W. Frew; Morteza Lahijanian (IEEE Control. Syst. Lett., 2023)

IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes. - Frederik Baymler Mathiesen; Morteza Lahijanian; Luca Laurenti (ADHS, 2024)

Shielded Deep Reinforcement Learning for Complex Spacecraft Tasking. - Robert Reed; Hanspeter Schaub; Morteza Lahijanian (ACC, 2024)

Uncertainty Propagation in Stochastic Systems via Mixture Models with Error Quantification. - Eduardo Figueiredo 002; Andrea Patane; Morteza Lahijanian; Luca Laurenti (CDC, 2024)

Data-Driven Permissible Safe Control with Barrier Certificates. - Rayan Mazouz; John Skovbekk; Frederik Baymler Mathiesen; Eric W. Frew; Luca Laurenti; Morteza Lahijanian (CDC, 2024)

Stochastic Games for Interactive Manipulation Domains. - Karan Muvvala; Andrew M. Wells; Morteza Lahijanian; Lydia E. Kavraki; Moshe Y. Vardi (ICRA, 2024)

Optimal Planning for Timed Partial Order Specifications. - Kandai Watanabe; Georgios Fainekos; Bardh Hoxha; Morteza Lahijanian; Hideki Okamoto; Sriram Sankaranarayanan 001 (ICRA, 2024)

Data-driven strategy synthesis for stochastic systems with unknown nonlinear disturbances. - Ibon Gracia; Dimitris Boskos; Luca Laurenti; Morteza Lahijanian (L4DC, 2024)

Introducing Delays in Multi Agent Path Finding. - Justin Kottinger; Tzvika Geft; Shaull Almagor; Oren Salzman; Morteza Lahijanian (SOCS, 2024)

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 (UAI, 2024)

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

Temporal segmentation in multi agent path finding with applications to explainability. - Shaull Almagor; Justin Kottinger; Morteza Lahijanian (Artif. Intell., 2024)

Piecewise Stochastic Barrier Functions. - Rayan Mazouz; Frederik Baymler Mathiesen; Luca Laurenti; Morteza Lahijanian (CoRR, 2024)

Online Pareto-Optimal Decision-Making for Complex Tasks using Active Inference. - Peter Amorese; Shohei Wakayama; Nisar R. Ahmed; Morteza Lahijanian (CoRR, 2024)

Finite Neural Networks as Mixtures of Gaussian Processes: From Provable Error Bounds to Prior Selection. - Steven Adams; Andrea Patanè; Morteza Lahijanian; Luca Laurenti (CoRR, 2024)

Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games. - Karan Muvvala; Qi Heng Ho; Morteza Lahijanian (CoRR, 2024)

Error Bounds for Deep Learning-based Uncertainty Propagation in SDEs. - Chun-Wei Kong; Luca Laurenti; Jay W. McMahon; Morteza Lahijanian (CoRR, 2024)

Falsification of Autonomous Systems in Rich Environments. - Khen Elimelech; Morteza Lahijanian; Lydia E. Kavraki; Moshe Y. Vardi (CoRR, 2024)

Chance-Constrained Multi-Robot Motion Planning Under Gaussian Uncertainties. - Anne Theurkauf; Justin Kottinger; Nisar R. Ahmed; Morteza Lahijanian (IEEE Robotics Autom. Lett., 2024)

Sampling-Based Reactive Synthesis for Nondeterministic Hybrid Systems. - Qi Heng Ho; Zachary N. Sunberg; Morteza Lahijanian (IEEE Robotics Autom. Lett., 2024)

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

Learning-Based Shielding for Safe Autonomy under Unknown Dynamics. - Robert Reed; Morteza Lahijanian (ACC, 2025)

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

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

On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares. - Peter Amorese; Morteza Lahijanian (IEEE Control. Syst. Lett., 2025)

Kino-PAX: Highly Parallel Kinodynamic Sampling-Based Planner. - Nicolas Perrault; Qi Heng Ho; Morteza Lahijanian (IEEE Robotics Autom. Lett., 2025)

Extended Version: Multi-Robot Motion Planning with Cooperative Localization. - Anne Theurkauf; Nisar R. Ahmed; Morteza Lahijanian (CoRR, 2025)

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems. - Ibon Gracia; Morteza Lahijanian (CoRR, 2025)

Piecewise Control Barrier Functions for Stochastic Systems. - Rayan Mazouz; Luca Laurenti; Morteza Lahijanian (CoRR, 2025)

Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression. - John Skovbekk; Luca Laurenti; Eric W. Frew; Morteza Lahijanian (IEEE Trans. Autom. Control., 2025)