Morteza Lahijanian
University of Colorado Boulder
H-index: 23
North America-United States
Top articles of Morteza Lahijanian
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
IntervalMDP. jl: Accelerated Value Iteration for Interval Markov Decision Processes | arXiv preprint arXiv:2401.04068 | Frederik Baymler Mathiesen Morteza Lahijanian Luca Laurenti | 2024/1/8 |
Uncertainty Propagation in Stochastic Systems via Mixture Models with Error Quantification | arXiv preprint arXiv:2403.15626 | Eduardo Figueiredo Andrea Patane Morteza Lahijanian Luca Laurenti | 2024/3/22 |
Data-Driven Permissible Safe Control with Barrier Certificates | arXiv preprint arXiv:2405.00136 | Rayan Mazouz John Skovbekk Frederik Baymler Mathiesen Eric Frew Luca Laurenti | 2024/4/30 |
Shielded Deep Reinforcement Learning for Complex Spacecraft Tasking | arXiv preprint arXiv:2403.05693 | Robert Reed Hanspeter Schaub Morteza Lahijanian | 2024/3/8 |
Stochastic Games for Interactive Manipulation Domains | arXiv preprint arXiv:2403.04910 | Karan Muvvala Andrew M Wells Morteza Lahijanian Lydia E Kavraki Moshe Y Vardi | 2024/3/7 |
Temporal Segmentation in Multi Agent Path Finding with Applications to Explainability | Artificial Intelligence | Shaull Almagor Justin Kottinger Morteza Lahijanian | 2024/2/7 |
Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty | Qi Heng Ho Roland Ilyes Zachary Sunberg Morteza Lahijanian | 2023/5/9 | |
Recursively-Constrained Partially Observable Markov Decision Processes | arXiv preprint arXiv:2310.09688 | Qi Heng Ho Tyler Becker Ben Kraske Zakariya Laouar Martin Feather | 2023/10/15 |
Timed partial order inference algorithm | Proceedings of the International Conference on Automated Planning and Scheduling | Kandai Watanabe Georgios Fainekos Bardh Hoxha Morteza Lahijanian Danil Prokhorov | 2023/7/1 |
Interval markov decision processes with continuous action-spaces | Giannis Delimpaltadakis Morteza Lahijanian Manuel Mazo Jr Luca Laurenti | 2023/5/9 | |
Unifying Safety Approaches for Stochastic Systems: From Barrier Functions to Uncertain Abstractions via Dynamic Programming | arXiv preprint arXiv:2310.01802 | Luca Laurenti Morteza Lahijanian | 2023/10/3 |
Explainable Multi-Robot Motion Planning via Segmentation | Justin Kottinger Shaull Almagor Morteza Lahijanian | 2023/6/7 | |
Promises of deep kernel learning for control synthesis | IEEE Control Systems Letters | Robert Reed Luca Laurenti Morteza Lahijanian | 2023/12/8 |
REASON-RECOURSE Software for Science Operations of Autonomous Robotic Landers | Jay McMahon Nisar Ahmed Morteza Lahijanian Peter Amorese Taralicin Deka | 2023/3/4 | |
Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks | Karan Muvvala Morteza Lahijanian | 2023/10/1 | |
Planning with simba: Motion planning under uncertainty for temporal goals using simplified belief guides | Qi Heng Ho Zachary N Sunberg Morteza Lahijanian | 2023/5/29 | |
Formal Abstraction of General Stochastic Systems via Noise Partitioning | IEEE Control Systems Letters | John Skovbekk Luca Laurenti Eric Frew Morteza Lahijanian | 2023/12/7 |
Chance-constrained motion planning with event-triggered estimation | Anne Theurkauf Qi Heng Ho Roland Ilyes Nisar Ahmed Morteza Lahijanian | 2023/5/29 | |
Sampling-based Reactive Synthesis for Nondeterministic Hybrid Systems | IEEE Robotics and Automation Letters (RA-L) | Qi Heng Ho Zachary N Sunberg Morteza Lahijanian | 2024/2 |
Introducing Delays in Multi-Agent Path Finding | arXiv preprint arXiv:2307.11252 | Justin Kottinger Shaull Almagor Oren Salzman Morteza Lahijanian | 2023/7/20 |