arrow
返回
M

Morteza Lahijanian

university of colorado boulder

22H指数
152论文数
1.7K被引数
收录论文 9
发表时间
Efficient strategy synthesis for switched stochastic systems with distributional uncertainty
err2025-02-01
err0
errOAAI
errGracia, Ibon; Boskos, Dimitris; Lahijanian, Morteza; Laurenti, Luca; Mazo Jr, Manuel
err分享
err收藏
Online Mapping and Motion Planning Under Uncertainty for Safe Navigation in Unknown Environments
err2022-10-01
err24
errOAAI
errPairet, Eric; Hernandez, Juan David; Carreras, Marc; Petillot, Yvan; Lahijanian, Morteza
err分享
err收藏
Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes
err2021-01-01
err14
errOAAI
errLaurenti, Luca; Lahijanian, Morteza; Abate, Alessandro; Cardelli, Luca; Kwiatkowska, Marta
err分享
err收藏
Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees
err2016-06-01
err65
errOAAI
errLahijanian, Morteza; Maly, Matthew R.; Fried, Dror; Kavraki, Lydia E.; Kress-Gazit, Hadas; Vardi, Moshe Y.
err分享
err收藏
Formal Verification and Synthesis for Discrete-Time Stochastic Systems
err2015-08-01
err97
PREAI
errLahijanian, Morteza; Andersson, Sean B.; Belta, Calin
err分享
err收藏
Temporal logic motion control using actor-critic methods
err2015-05-26
err23
errOAAI
errWang, Jing; Ding, Xuchu; Lahijanian, Morteza; Paschalidis, Ioannis Ch.; Belta, Calin A.
err分享
err收藏
Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees
err2012-04-01
err110
PREAI
errLahijanian, Morteza; Andersson, Sean B.; Belta, Calin
err分享
err收藏