Morteza Lahijanian

159 papers A* 25A 12B 1C 5Journal 92Unranked 24

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions. IEEE Trans. Autom. Control. Luca Laurenti, Morteza Lahijanian
2026	J	`jnl`	Finite Neural Networks as Mixtures of Gaussian Processes: From Provable Error Bounds to Prior Selection. J. Mach. Learn. Res. Steven Adams, Andrea Patanè, Morteza Lahijanian, Luca Laurenti
2026	J	`jnl`	Kino-PAX CoRR Nicolas Perrault, Qi Heng Ho, Morteza Lahijanian
2026	J	`jnl`	Learning Nonlinear Continuous-Time Systems for Formal Uncertainty Propagation and Probabilistic Evaluation. CoRR Peter Amorese, Morteza Lahijanian
2026	J	`jnl`	Learning specifications for reactive synthesis with safety constraints. CoRR Kandai Watanabe, Nicholas Renninger, Sriram Sankaranarayanan, Morteza Lahijanian
2026	J	`jnl`	StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis. CoRR Rayan Mazouz, Frederik Baymler Mathiesen, Luca Laurenti, Morteza Lahijanian
2026	J	`jnl`	Time-Varying Reach-Avoid Control Certificates for Stochastic Systems. CoRR Rayan Mazouz, Luca Laurenti, Morteza Lahijanian
2026	J	`jnl`	Training with Hard Constraints: Learning Neural Certificates and Controllers for SDEs. CoRR Chun-Wei Kong, Sebastián Escobar, Ibon Gracia, Jay W. McMahon, Morteza Lahijanian
2026	A*	`conf`	Universal Learning of Stochastic Dynamics for Exact Belief Propagation Using Bernstein Normalizing Flows. AAAI Peter Amorese, Morteza Lahijanian
2025	—	`conf`	Bayesian Diagnosability and Active Fault Identification. CDC Chun-Wei Kong, Jay W. McMahon, Morteza Lahijanian
2025	J	`jnl`	Bayesian Diagnosability and Active Fault Identification. CoRR Chun-Wei Kong, Jay W. McMahon, Morteza Lahijanian
2025	J	`jnl`	Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems. CoRR Ibon Gracia, Morteza Lahijanian
2025	A*	`conf`	Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games. IJCAI Karan Muvvala, Qi Heng Ho, Morteza Lahijanian
2025	J	`jnl`	Data-Driven Control via Conditional Mean Embeddings: Formal Guarantees via Uncertain MDP Abstraction. CoRR Ibon Gracia, Morteza Lahijanian
2025	A*	`conf`	Error Bounds for Gaussian Process Regression Under Bounded Support Noise with Applications to Safety Certification. AAAI Robert Reed, Luca Laurenti, Morteza Lahijanian
2025	A	`conf`	Error Bounds for Physics-Informed Neural Networks in Fokker-Planck PDEs. UAI Chun-Wei Kong, Luca Laurenti, Jay W. McMahon, Morteza Lahijanian
2025	J	`jnl`	Extended Version: Multi-Robot Motion Planning with Cooperative Localization. CoRR Anne Theurkauf, Nisar R. Ahmed, Morteza Lahijanian
2025	J	`jnl`	Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression. IEEE Trans. Autom. Control. John Skovbekk, Luca Laurenti, Eric W. Frew, Morteza Lahijanian
2025	J	`jnl`	Kino-PAX: Highly Parallel Kinodynamic Sampling-Based Planner. IEEE Robotics Autom. Lett. Nicolas Perrault, Qi Heng Ho, Morteza Lahijanian
2025	C	`conf`	Learning-Based Shielding for Safe Autonomy under Unknown Dynamics. ACC Robert Reed, Morteza Lahijanian
2025	A	`conf`	Multi-Robot Motion Planning with Cooperative Localization. IROS Anne Theurkauf, Nisar R. Ahmed, Morteza Lahijanian
2025	J	`jnl`	On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares. CoRR Peter Amorese, Morteza Lahijanian
2025	J	`jnl`	On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares. IEEE Control. Syst. Lett. Peter Amorese, Morteza Lahijanian
2025	J	`jnl`	Online Pareto-Optimal Decision-Making for Complex Tasks Using Active Inference. IEEE Trans. Robotics Peter Amorese, Shohei Wakayama, Nisar R. Ahmed, Morteza Lahijanian
2025	—	`conf`	Piecewise Control Barrier Functions for Stochastic Systems. CDC Rayan Mazouz, Luca Laurenti, Morteza Lahijanian
2025	J	`jnl`	Piecewise Control Barrier Functions for Stochastic Systems. CoRR Rayan Mazouz, Luca Laurenti, Morteza Lahijanian
2025	J	`jnl`	Scalable Formal Verification via Autoencoder Latent Space Abstraction. CoRR Robert Reed, Luca Laurenti, Morteza Lahijanian
2025	—	`conf`	Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances. L4DC Ibon Gracia, Luca Laurenti, Manuel Mazo Jr., Alessandro Abate, Morteza Lahijanian
2025	J	`jnl`	Universal Learning of Stochastic Dynamics for Exact Belief Propagation using Bernstein Normalizing Flows. CoRR Peter Amorese, Morteza Lahijanian
2024	J	`jnl`	Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games. CoRR Karan Muvvala, Qi Heng Ho, Morteza Lahijanian
2024	J	`jnl`	Chance-Constrained Multi-Robot Motion Planning Under Gaussian Uncertainties. IEEE Robotics Autom. Lett. Anne Theurkauf, Justin Kottinger, Nisar R. Ahmed, Morteza Lahijanian
2024	—	`conf`	Data-Driven Permissible Safe Control with Barrier Certificates. CDC Rayan Mazouz, John Skovbekk, Frederik Baymler Mathiesen, Eric W. Frew, Luca Laurenti, Morteza Lahijanian
2024	J	`jnl`	Data-Driven Permissible Safe Control with Barrier Certificates. CoRR Rayan Mazouz, John Skovbekk, Frederik Baymler Mathiesen, Eric W. Frew, Luca Laurenti, Morteza Lahijanian
2024	J	`jnl`	Data-Driven Strategy Synthesis for Stochastic Systems with Unknown Nonlinear Disturbances. CoRR Ibon Gracia, Dimitris Boskos, Luca Laurenti, Morteza Lahijanian
2024	—	`conf`	Data-driven strategy synthesis for stochastic systems with unknown nonlinear disturbances. L4DC Ibon Gracia, Dimitris Boskos, Luca Laurenti, Morteza Lahijanian
2024	J	`jnl`	Error Bounds For Gaussian Process Regression Under Bounded Support Noise With Applications To Safety Certification. CoRR Robert Reed, Luca Laurenti, Morteza Lahijanian
2024	J	`jnl`	Error Bounds for Deep Learning-based Uncertainty Propagation in SDEs. CoRR Chun-Wei Kong, Luca Laurenti, Jay W. McMahon, Morteza Lahijanian
2024	J	`jnl`	Falsification of Autonomous Systems in Rich Environments. CoRR Khen Elimelech, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi
2024	J	`jnl`	Finite Neural Networks as Mixtures of Gaussian Processes: From Provable Error Bounds to Prior Selection. CoRR Steven Adams, Andrea Patanè, Morteza Lahijanian, Luca Laurenti
2024	—	`conf`	IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes. ADHS Frederik Baymler Mathiesen, Morteza Lahijanian, Luca Laurenti
2024	J	`jnl`	IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes. CoRR Frederik Baymler Mathiesen, Morteza Lahijanian, Luca Laurenti
2024	B	`conf`	Introducing Delays in Multi Agent Path Finding. SOCS Justin Kottinger, Tzvika Geft, Shaull Almagor, Oren Salzman, Morteza Lahijanian
2024	J	`jnl`	Kino-PAX: Highly Parallel Kinodynamic Sampling-based Planner. CoRR Nicolas Perrault, Qi Heng Ho, Morteza Lahijanian
2024	J	`jnl`	Learning-Based Shielding for Safe Autonomy under Unknown Dynamics. CoRR Robert Reed, Morteza Lahijanian
2024	J	`jnl`	Online Pareto-Optimal Decision-Making for Complex Tasks using Active Inference. CoRR Peter Amorese, Shohei Wakayama, Nisar R. Ahmed, Morteza Lahijanian
2024	A*	`conf`	Optimal Planning for Timed Partial Order Specifications. ICRA Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Hideki Okamoto, Sriram Sankaranarayanan
2024	J	`jnl`	Optimal Planning for Timed Partial Order Specifications. CoRR Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Hideki Okamoto, Sriram Sankaranarayanan
2024	J	`jnl`	Piecewise Stochastic Barrier Functions. CoRR Rayan Mazouz, Frederik Baymler Mathiesen, Luca Laurenti, Morteza Lahijanian
2024	A	`conf`	Recursively-Constrained Partially Observable Markov Decision Processes. UAI Qi Heng Ho, Tyler J. Becker, Benjamin Kraske, Zakariya Laouar, Martin S. Feather, Federico Rossi, Morteza Lahijanian, Zachary Sunberg
2024	J	`jnl`	Sampling-Based Reactive Synthesis for Nondeterministic Hybrid Systems. IEEE Robotics Autom. Lett. Qi Heng Ho, Zachary N. Sunberg, Morteza Lahijanian
2024	C	`conf`	Shielded Deep Reinforcement Learning for Complex Spacecraft Tasking. ACC Robert Reed, Hanspeter Schaub, Morteza Lahijanian
2024	J	`jnl`	Shielded Deep Reinforcement Learning for Complex Spacecraft Tasking. CoRR Robert Reed, Hanspeter Schaub, Morteza Lahijanian
2024	A	`conf`	Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives. UAI Qi Heng Ho, Martin S. Feather, Federico Rossi, Zachary Sunberg, Morteza Lahijanian
2024	J	`jnl`	Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives. CoRR Qi Heng Ho, Martin S. Feather, Federico Rossi, Zachary N. Sunberg, Morteza Lahijanian
2024	A*	`conf`	Stochastic Games for Interactive Manipulation Domains. ICRA Karan Muvvala, Andrew M. Wells, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi
2024	J	`jnl`	Stochastic Games for Interactive Manipulation Domains. CoRR Karan Muvvala, Andrew M. Wells, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi
2024	J	`jnl`	Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances. CoRR Ibon Gracia, Luca Laurenti, Manuel Mazo Jr., Alessandro Abate, Morteza Lahijanian
2024	J	`jnl`	Temporal segmentation in multi agent path finding with applications to explainability. Artif. Intell. Shaull Almagor, Justin Kottinger, Morteza Lahijanian
2024	—	`conf`	Uncertainty Propagation in Stochastic Systems via Mixture Models with Error Quantification. CDC Eduardo Figueiredo, Andrea Patane, Morteza Lahijanian, Luca Laurenti
2024	J	`jnl`	Uncertainty Propagation in Stochastic Systems via Mixture Models with Error Quantification. CoRR Eduardo Figueiredo, Andrea Patane, Morteza Lahijanian, Luca Laurenti
2023	A*	`conf`	BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming. ICML Steven Adams, Andrea Patane, Morteza Lahijanian, Luca Laurenti
2023	J	`jnl`	BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming. CoRR Steven Adams, Andrea Patane, Morteza Lahijanian, Luca Laurenti
2023	A*	`conf`	Chance-Constrained Motion Planning with Event-Triggered Estimation. ICRA Anne Theurkauf, Qi Heng Ho, Roland B. Ilyes, Nisar R. Ahmed, Morteza Lahijanian
2023	J	`jnl`	Chance-Constrained Multi-Robot Motion Planning under Gaussian Uncertainties. CoRR Anne Theurkauf, Justin Kottinger, Nisar R. Ahmed, Morteza Lahijanian
2023	A	`conf`	Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks. IROS Karan Muvvala, Morteza Lahijanian
2023	J	`jnl`	Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks. CoRR Karan Muvvala, Morteza Lahijanian
2023	J	`jnl`	Formal Abstraction of General Stochastic Systems via Noise Partitioning. CoRR John Skovbekk, Luca Laurenti, Eric W. Frew, Morteza Lahijanian
2023	J	`jnl`	Formal Abstraction of General Stochastic Systems via Noise Partitioning. IEEE Control. Syst. Lett. John Skovbekk, Luca Laurenti, Eric W. Frew, Morteza Lahijanian
2023	—	`conf`	Interval Markov Decision Processes with Continuous Action-Spaces. HSCC Giannis Delimpaltadakis, Morteza Lahijanian, Manuel Mazo Jr., Luca Laurenti
2023	J	`jnl`	Introducing Delays in Multi-Agent Path Finding. CoRR Justin Kottinger, Shaull Almagor, Oren Salzman, Morteza Lahijanian
2023	A	`conf`	Optimal Cost-Preference Trade-Off Planning with Multiple Temporal Tasks. IROS Peter Amorese, Morteza Lahijanian
2023	J	`jnl`	Optimal Cost-Preference Trade-off Planning with Multiple Temporal Tasks. CoRR Peter Amorese, Morteza Lahijanian
2023	A*	`conf`	Planning with SiMBA: Motion Planning under Uncertainty for Temporal Goals using Simplified Belief Guides. ICRA Qi Heng Ho, Zachary N. Sunberg, Morteza Lahijanian
2023	—	`conf`	Poster Abstract: Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty. HSCC Qi Heng Ho, Roland B. Ilyes, Zachary Sunberg, Morteza Lahijanian
2023	J	`jnl`	Promises of Deep Kernel Learning for Control Synthesis. CoRR Robert Reed, Luca Laurenti, Morteza Lahijanian
2023	J	`jnl`	Promises of Deep Kernel Learning for Control Synthesis. IEEE Control. Syst. Lett. Robert Reed, Luca Laurenti, Morteza Lahijanian
2023	J	`jnl`	Recursively-Constrained Partially Observable Markov Decision Processes. CoRR Qi Heng Ho, Tyler J. Becker, Benjamin Kraske, Zakariya Laouar, Martin S. Feather, Federico Rossi, Morteza Lahijanian, Zachary N. Sunberg
2023	J	`jnl`	Sampling-based Reactive Synthesis for Nondeterministic Hybrid Systems. CoRR Qi Heng Ho, Zachary N. Sunberg, Morteza Lahijanian
2023	A*	`conf`	Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic. ICRA Roland B. Ilyes, Qi Heng Ho, Morteza Lahijanian
2023	A*	`conf`	Timed Partial Order Inference Algorithm. ICAPS Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Danil V. Prokhorov, Sriram Sankaranarayanan, Tomoya Yamaguchi
2023	J	`jnl`	Timed Partial Order Inference Algorithm. CoRR Kandai Watanabe, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos, Morteza Lahijanian, Sriram Sankaranarayanan, Tomoya Yamaguchi
2023	J	`jnl`	Unifying Safety Approaches for Stochastic Systems: From Barrier Functions to Uncertain Abstractions via Dynamic Programming. CoRR Luca Laurenti, Morteza Lahijanian
2022	A*	`conf`	An Algorithm for Learning Switched Linear Dynamics from Data. NeurIPS Guillaume O. Berger, Monal Narasimhamurthy, Kandai Watanabe, Morteza Lahijanian, Sriram Sankaranarayanan
2022	—	`conf`	Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications. CDC Qi Heng Ho, Roland B. Ilyes, Zachary N. Sunberg, Morteza Lahijanian
2022	J	`jnl`	Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications. CoRR Qi Heng Ho, Roland B. Ilyes, Zachary N. Sunberg, Morteza Lahijanian
2022	J	`jnl`	Chance-Constrained Motion Planning with Event-Triggered Estimation. CoRR Anne Theurkauf, Qi Heng Ho, Roland B. Ilyes, Nisar R. Ahmed, Morteza Lahijanian
2022	A*	`conf`	Conflict-Based Search for Explainable Multi-Agent Path Finding. ICAPS Justin Kottinger, Shaull Almagor, Morteza Lahijanian
2022	J	`jnl`	Conflict-Based Search for Explainable Multi-Agent Path Finding. CoRR Justin Kottinger, Shaull Almagor, Morteza Lahijanian
2022	A	`conf`	Conflict-Based Search for Multi-Robot Motion Planning with Kinodynamic Constraints. IROS Justin Kottinger, Shaull Almagor, Morteza Lahijanian
2022	J	`jnl`	Conflict-based Search for Multi-Robot Motion Planning with Kinodynamic Constraints. CoRR Justin Kottinger, Shaull Almagor, Morteza Lahijanian
2022	J	`jnl`	Formal Control Synthesis for Stochastic Neural Network Dynamic Models. CoRR Steven Adams, Morteza Lahijanian, Luca Laurenti
2022	J	`jnl`	Formal Control Synthesis for Stochastic Neural Network Dynamic Models. IEEE Control. Syst. Lett. Steven Adams, Morteza Lahijanian, Luca Laurenti
2022	J	`jnl`	Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression. CoRR John Jackson, Luca Laurenti, Eric W. Frew, Morteza Lahijanian
2022	A*	`conf`	Gaussian Belief Trees for Chance Constrained Asymptotically Optimal Motion Planning. ICRA Qi Heng Ho, Zachary N. Sunberg, Morteza Lahijanian
2022	J	`jnl`	Gaussian Belief Trees for Chance Constrained Asymptotically Optimal Motion Planning. CoRR Qi Heng Ho, Zachary N. Sunberg, Morteza Lahijanian
2022	J	`jnl`	Interval Markov Decision Processes with Continuous Action-Spaces. CoRR Giannis Delimpaltadakis, Morteza Lahijanian, Manuel Mazo Jr., Luca Laurenti
2022	A*	`conf`	Let's Collaborate: Regret-based Reactive Synthesis for Robotic Manipulation. ICRA Karan Muvvala, Peter Amorese, Morteza Lahijanian
2022	J	`jnl`	Let's Collaborate: Regret-based Reactive Synthesis for Robotic Manipulation. CoRR Karan Muvvala, Peter Amorese, Morteza Lahijanian
2022	J	`jnl`	Online Mapping and Motion Planning Under Uncertainty for Safe Navigation in Unknown Environments. IEEE Trans Autom. Sci. Eng. Èric Pairet, Juan David Hernández, Marc Carreras, Yvan R. Petillot, Morteza Lahijanian
2022	J	`jnl`	Pareto Optimal Strategies for Event Triggered Estimation. CoRR Anne Theurkauf, Nisar R. Ahmed, Morteza Lahijanian
2022	—	`conf`	Pareto Optimal Strategies for Event-triggered Estimation. CDC Anne Theurkauf, Nisar R. Ahmed, Morteza Lahijanian
2022	J	`jnl`	Planning with SiMBA: Motion Planning under Uncertainty for Temporal Goals using Simplified Belief Guides. CoRR Qi Heng Ho, Zachary N. Sunberg, Morteza Lahijanian
2022	A*	`conf`	Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions. NeurIPS Rayan Mazouz, Karan Muvvala, Akash Ratheesh, Luca Laurenti, Morteza Lahijanian
2022	J	`jnl`	Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions. CoRR Rayan Mazouz, Karan Muvvala, Akash Ratheesh, Luca Laurenti, Morteza Lahijanian
2022	C	`conf`	Shielded Deep Reinforcement Learning for Multi-Sensor Spacecraft Imaging. ACC Islam Nazmy, Andrew Harris, Morteza Lahijanian, Hanspeter Schaub
2022	J	`jnl`	Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic. CoRR Roland B. Ilyes, Qi Heng Ho, Morteza Lahijanian
2021	A*	`conf`	Finite-Horizon Synthesis for Probabilistic Manipulation Domains. ICRA Andrew M. Wells, Zachary Kingston, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi
2021	J	`jnl`	Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes. IEEE Trans. Autom. Control. Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Luca Cardelli, Marta Kwiatkowska
2021	A*	`conf`	MAPS-X: Explainable Multi-Robot Motion Planning via Segmentation. ICRA Justin Kottinger, Shaull Almagor, Morteza Lahijanian
2021	A	`conf`	Probabilistic Specification Learning for Planning with Safety Constraints. IROS Kandai Watanabe, Nicholas Renninger, Sriram Sankaranarayanan, Morteza Lahijanian
2021	J	`jnl`	Strategy Synthesis for Partially-known Switched Stochastic Systems. CoRR John Jackson, Luca Laurenti, Eric W. Frew, Morteza Lahijanian
2021	—	`conf`	Strategy synthesis for partially-known switched stochastic systems. HSCC John Jackson, Luca Laurenti, Eric W. Frew, Morteza Lahijanian
2021	—	`conf`	Synergistic Offline-Online Control Synthesis via Local Gaussian Process Regression. CDC John Jackson, Luca Laurenti, Eric W. Frew, Morteza Lahijanian
2021	J	`jnl`	Synergistic Offline-Online Control Synthesis via Local Gaussian Process Regression. CoRR John Jackson, Luca Laurenti, Eric W. Frew, Morteza Lahijanian
2020	A	`conf`	Explainable Multi Agent Path Finding. AAMAS Shaull Almagor, Morteza Lahijanian
2020	—	`conf`	LTLf Synthesis on Probabilistic Systems. GandALF Andrew M. Wells, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi
2020	J	`jnl`	MAPS-X: Explainable Multi-Robot Motion Planning via Segmentation. CoRR Justin Kottinger, Shaull Almagor, Morteza Lahijanian
2020	J	`jnl`	Online Mapping and Motion Planning under Uncertainty for Safe Navigation in Unknown Environments. CoRR Èric Pairet, Juan David Hernández, Yvan R. Petillot, Morteza Lahijanian
2020	—	`conf`	Safety Verification of Unknown Dynamical Systems via Gaussian Process Regression. CDC John Jackson, Luca Laurenti, Eric W. Frew, Morteza Lahijanian
2020	J	`jnl`	Safety Verification of Unknown Dynamical Systems via Gaussian Process Regression. CoRR John Jackson, Luca Laurenti, Eric W. Frew, Morteza Lahijanian
2019	J	`jnl`	Automated Abstraction of Manipulation Domains for Cost-Based Reactive Synthesis. IEEE Robotics Autom. Lett. Keliang He, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi
2019	—	`conf`	Correct-by-Construction Advanced Driver Assistance Systems Based on a Cognitive Architecture. CAVS Francisco Eiras, Morteza Lahijanian, Marta Kwiatkowska
2019	J	`jnl`	Correct-by-Construction Advanced Driver Assistance Systems based on a Cognitive Architecture. CoRR Francisco Eiras, Morteza Lahijanian, Marta Kwiatkowska
2019	J	`jnl`	Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems. CoRR Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska, Luca Cardelli
2019	—	`conf`	Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems. HSCC Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska, Luca Cardelli
2019	A	`conf`	Gaze-based Intention Anticipation over Driving Manoeuvres in Semi-Autonomous Vehicles. IROS Min Wu, Tyron Louw, Morteza Lahijanian, Wenjie Ruan, Xiaowei Huang, Natasha Merat, Marta Kwiatkowska
2019	J	`jnl`	Interval Markov Decision Processes with Multiple Objectives: From Robust Strategies to Pareto Curves. ACM Trans. Model. Comput. Simul. Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini
2018	J	`jnl`	Integrating Temporal Reasoning and Sampling-Based Motion Planning for Multigoal Problems With Dynamics and Time Windows. IEEE Robotics Autom. Lett. Stefan Edelkamp, Morteza Lahijanian, Daniele Magazzeni, Erion Plaku
2018	J	`jnl`	Resource-Performance Tradeoff Analysis for Mobile Robots. IEEE Robotics Autom. Lett. Morteza Lahijanian, María Svorenová, Akshay A. Morye, Brian Yeomans, Dushyant Rao, Ingmar Posner, Paul Newman, Hadas Kress-Gazit, Marta Kwiatkowska
2018	J	`jnl`	Synthesis for Robots: Guarantees and Feedback for Robot Behavior. Annu. Rev. Control. Robotics Auton. Syst. Hadas Kress-Gazit, Morteza Lahijanian, Vasumathi Raman
2018	A	`conf`	Uncertainty-based Online Mapping and Motion Planning for Marine Robotics Guidance. IROS Èric Pairet, Juan David Hernández, Morteza Lahijanian, Marc Carreras
2017	—	`conf`	Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes. QEST Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini
2017	J	`jnl`	Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes. CoRR Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini
2017	A	`conf`	Reactive synthesis for finite tasks under resource constraints. IROS Keliang He, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi
2016	J	`jnl`	Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees. IEEE Trans. Robotics Morteza Lahijanian, Matthew R. Maly, Dror Fried, Lydia E. Kavraki, Hadas Kress-Gazit, Moshe Y. Vardi
2016	J	`jnl`	Resource-Performance Trade-off Analysis for Mobile Robots. CoRR María Svorenová, Morteza Lahijanian, Akshay A. Morye, Dushyant Rao, Ingmar Posner, Paul Newman, Hadas Kress-Gazit, Marta Kwiatkowska
2016	—	`conf`	Social Trust: A Major Challenge for the Future of Autonomous Systems. AAAI Fall Symposia Morteza Lahijanian, Marta Kwiatkowska
2016	—	`conf`	Specification revision for Markov decision processes with optimal trade-off. CDC Morteza Lahijanian, Marta Z. Kwiatkowska
2015	J	`jnl`	Formal Verification and Synthesis for Discrete-Time Stochastic Systems. IEEE Trans. Autom. Control. Morteza Lahijanian, Sean B. Andersson, Calin Belta
2015	J	`jnl`	Temporal logic motion control using actor-critic methods. Int. J. Robotics Res. Jing Wang, Xu Chu Ding, Morteza Lahijanian, Ioannis Ch. Paschalidis, Calin Belta
2015	A*	`conf`	This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction. AAAI Morteza Lahijanian, Shaull Almagor, Dror Fried, Lydia E. Kavraki, Moshe Y. Vardi
2015	A*	`conf`	Towards manipulation planning with temporal logic specifications. ICRA Keliang He, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi
2014	A*	`conf`	A sampling-based strategy planner for nondeterministic hybrid systems. ICRA Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi
2014	C	`conf`	Asymptotically Optimal Stochastic Motion Planning with Temporal Goals. WAFR Ryan Luna, Morteza Lahijanian, Mark Moll, Lydia E. Kavraki
2014	A*	`conf`	Fast stochastic motion planning with optimality guarantees using local policy reconfiguration. ICRA Ryan Luna, Morteza Lahijanian, Mark Moll, Lydia E. Kavraki
2014	A*	`conf`	Optimal and Efficient Stochastic Motion Planning in Partially-Known Environments. AAAI Ryan Luna, Morteza Lahijanian, Mark Moll, Lydia E. Kavraki
2013	—	`conf`	Iterative temporal motion planning for hybrid systems in partially unknown environments. HSCC Matthew R. Maly, Morteza Lahijanian, Lydia E. Kavraki, Hadas Kress-Gazit, Moshe Y. Vardi
2012	—	`conf`	Approximate Markovian abstractions for linear stochastic systems. CDC Morteza Lahijanian, Sean B. Andersson, Calin Belta
2012	J	`jnl`	Temporal Logic Motion Control using Actor-Critic Methods CoRR Xu Chu Ding, Jing Wang, Morteza Lahijanian, Ioannis Ch. Paschalidis, Calin Belta
2012	J	`jnl`	Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees. IEEE Trans. Robotics Morteza Lahijanian, Sean B. Andersson, Calin Belta
2012	A*	`conf`	Temporal logic motion control using actor-critic methods. ICRA Xu Chu Ding, Jing Wang, Morteza Lahijanian, Ioannis Ch. Paschalidis, Calin Belta
2011	C	`conf`	Control of Markov decision processes from PCTL specifications. ACC Morteza Lahijanian, Sean B. Andersson, Calin Belta
2011	J	`jnl`	Least Squares Temporal Difference Actor-Critic Methods with Applications to Robot Motion Control CoRR Reza Moazzez Estanjini, Xu Chu Ding, Morteza Lahijanian, Jing Wang, Calin Belta, Ioannis Ch. Paschalidis
2011	—	`conf`	Least squares temporal difference actor-critic methods with applications to robot motion control. CDC/ECC Reza Moazzez Estanjini, Xu Chu Ding, Morteza Lahijanian, Jing Wang, Calin Belta, Ioannis Ch. Paschalidis
2011	J	`jnl`	Probabilistically Safe Vehicle Control in a Hostile Environment CoRR Igor Cizelj, Xu Chu Ding, Morteza Lahijanian, Alessandro Pinto, Calin Belta
2010	A*	`conf`	Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees. ICRA Morteza Lahijanian, Joseph Wasniewski, Sean B. Andersson, Calin Belta
2009	—	`conf`	A probabilistic approach for control of a stochastic system from LTL specifications. CDC Morteza Lahijanian, Sean B. Andersson, Calin Belta
2009	A*	`conf`	Automatic deployment of autonomous cars in a Robotic Urban-Like Environment (RULE). ICRA Morteza Lahijanian, Marius Kloetzer, Sara Itani, Calin Belta, Sean B. Andersson
2008	J	`jnl`	Observers in Language-Based Control. Commun. Inf. Syst. Sean B. Andersson, Dimitris Hristu-Varsakelis, Morteza Lahijanian