Scholar
Morteza Lahijanian
Google Scholar ID: BfH-7msAAAAJ
University of Colorado Boulder
Safe AI
formal methods
stochastic systems
motion planning
robotics
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,984
H-index
26
i10-index
47
Publications
20
Co-authors
0
Contact
No contact links provided.
Publications
12 items
Learning Markov Processes as Sum-of-Square Forms for Analytical Belief Propagation
2026
Cited
0
Sampling-based Task and Kinodynamic Motion Planning under Semantic Uncertainty
2026
Cited
0
Kino-PAX$^+$: Near-Optimal Massively Parallel Kinodynamic Sampling-based Motion Planner
2026
Cited
0
Learning specifications for reactive synthesis with safety constraints
arXiv.org · 2026
Cited
0
Scalable Formal Verification via Autoencoder Latent Space Abstraction
2025
Cited
0
Universal Learning of Stochastic Dynamics for Exact Belief Propagation using Bernstein Normalizing Flows
2025
Cited
0
Extended Version: Multi-Robot Motion Planning with Cooperative Localization
2025
Cited
0
Error Bounds for Physics-Informed Neural Networks in Fokker-Planck PDEs
2024
Cited
0
Load more
Resume (English only)
Academic Achievements
Numerous papers accepted at top-tier venues including ICRA, IROS, HSCC, NeurIPS, CDC, ICAPS, ACC, IEEE T-ASE, and IEEE Control Systems Letters
2023: 1 paper at ICAPS, 1 at HSCC, 3 at ICRA
2022: 2 at NeurIPS, 2 at CDC, 1 at IROS, 1 at ICAPS, 1 at ACC, 2 at ICRA, 1 in IEEE Control Systems Letters
2021: 1 in IEEE Transactions on Automation Science and Engineering (T-ASE)
Supervised master’s student Roland Ilyes to successful thesis defense (2022)
Co-authors
0 total
Co-authors: 0 (list not available)
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up