Morteza Lahijanian

Computer Science · Physical Sciences

22h-index1.7kcitations151works0.72yr avg
OpenAlex↗ORCID↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(59), Robotic Path Planning Algorithms(48), AI-based Problem Solving and Planning(22), Fault Detection and Control Systems(21), Reinforcement Learning in Robotics(15)

Publications151 total

Kino-PAX$^+$: Near-Optimal Massively Parallel Kinodynamic Sampling-based Motion Planner
arXiv (Cornell University)·2026Open Access
Kino-PAX$^+$: Near-Optimal Massively Parallel Kinodynamic Sampling-based Motion Planner
arXiv (Cornell University)·2026Open Access
Data-Driven Control via Conditional Mean Embeddings: Formal Guarantees via Uncertain MDP Abstraction
arXiv (Cornell University)·2025Open Access
Scalable Formal Verification via Autoencoder Latent Space Abstraction
arXiv (Cornell University)·2025Open Access
Bayesian Diagnosability and Active Fault Identification
2025
Piecewise Control Barrier Functions for Stochastic Systems
2025· 1 cited
Multi-Robot Motion Planning with Cooperative Localization
2025
Universal Learning of Stochastic Dynamics for Exact Belief Propagation using Bernstein Normalizing Flows
arXiv (Cornell University)·2025Open Access
Bayesian Diagnosability and Active Fault Identification
arXiv (Cornell University)·2025Open Access
Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games
2025
A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions
IEEE Transactions on Automatic Control·2025
Piecewise Control Barrier Functions for Stochastic Systems
arXiv (Cornell University)·2025Open Access
Learning-Based Shielding for Safe Autonomy under Unknown Dynamics
2025· 1 cited
Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems
arXiv (Cornell University)·2025Open Access
On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares
arXiv (Cornell University)·2025Open Access
Error Bounds for Gaussian Process Regression Under Bounded Support Noise with Applications to Safety Certification
Proceedings of the AAAI Conference on Artificial Intelligence·2025· 1 citedOpen Access
Extended Version: Multi-Robot Motion Planning with Cooperative Localization
arXiv (Cornell University)·2025Open Access
Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression
IEEE Transactions on Automatic Control·2025· 1 cited
Kino-PAX: Highly Parallel Kinodynamic Sampling-Based Planner
IEEE Robotics and Automation Letters·2025
On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares
IEEE Control Systems Letters·2025
page 1 of 8Next →

Frequent Co-authors

Lydia E. Kavraki(11), Călin Belta(10), Moshe Y. Vardi(8), Luca Laurenti(8), Marta Kwiatkowska(8), Sean B. Andersson(7), Hadas Kress‐Gazit(4), Shaull Almagor(4), Keliang He(3), Alessandro Abate(3), Luca Cardelli(3), Èric Pairet(3), Juan David Hernández(3), Marc Carreras(3), Jing Wang(3), Ioannis Ch. Paschalidis(3), Ryan Luna(3), Mark Moll(3), Qi Heng Ho(3), Eric W. Frew(3)