关注
Morteza Lahijanian
标题
引用次数
引用次数
年份
Synthesis for robots: Guarantees and feedback for robot behavior
H Kress-Gazit, M Lahijanian, V Raman
Annual Review of Control, Robotics, and Autonomous Systems 1, 211-236, 2018
1782018
Temporal logic motion planning and control with probabilistic satisfaction guarantees
M Lahijanian, SB Andersson, C Belta
IEEE Transactions on Robotics 28 (2), 396-409, 2011
1622011
Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees
M Lahijanian, J Wasniewski, SB Andersson, C Belta
2010 IEEE International Conference on Robotics and Automation, 3227-3232, 2010
1332010
Formal verification and synthesis for discrete-time stochastic systems
M Lahijanian, SB Andersson, C Belta
IEEE Transactions on Automatic Control 60 (8), 2031-2045, 2015
1252015
Towards manipulation planning with temporal logic specifications
K He, M Lahijanian, LE Kavraki, MY Vardi
2015 IEEE international conference on robotics and automation (ICRA), 346-352, 2015
1242015
Iterative temporal motion planning for hybrid systems in partially unknown environments
MR Maly, M Lahijanian, LE Kavraki, H Kress-Gazit, MY Vardi
Proceedings of the 16th international conference on Hybrid systems …, 2013
1092013
Iterative temporal planning in uncertain environments with partial satisfaction guarantees
M Lahijanian, MR Maly, D Fried, LE Kavraki, H Kress-Gazit, MY Vardi
IEEE Transactions on Robotics 32 (3), 583-599, 2016
1002016
This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction
M Lahijanian, S Almagor, D Fried, LE Kavraki, MY Vardi
AAAI, 3664-3671, 2015
852015
A probabilistic approach for control of a stochastic system from LTL specifications
M Lahijanian, SB Andersson, C Belta
Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held …, 2009
492009
Reactive synthesis for finite tasks under resource constraints
K He, M Lahijanian, LE Kavraki, MY Vardi
2017 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2017
482017
Efficiency through uncertainty: Scalable formal synthesis for stochastic hybrid systems
N Cauchi, L Laurenti, M Lahijanian, A Abate, M Kwiatkowska, L Cardelli
Proceedings of the 22nd ACM international conference on hybrid systems …, 2019
452019
Specification Revision for Markov Decision Processes with Optimal Trade-off
M Lahijanian, M Kwiatkowska
IEEE Conference on Decision and Control, 2016
412016
Temporal logic motion control using actor–critic methods
J Wang, X Ding, M Lahijanian, IC Paschalidis, CA Belta
The International Journal of Robotics Research 34 (10), 1329-1344, 2015
392015
Multi-objective robust strategy synthesis for interval Markov decision processes
EM Hahn, V Hashemi, H Hermanns, M Lahijanian, A Turrini
International Conference on Quantitative Evaluation of Systems, 207-223, 2017
382017
Control of Markov decision processes from PCTL specifications
M Lahijanian, SB Andersson, C Belta
Proceedings of the 2011 American Control Conference, 311-316, 2011
372011
Resource-performance trade-off analysis for mobile robots
M Lahijanian, M Svorenova, AA Morye, B Yeomans, D Rao, I Posner, ...
IEEE Robotics and Automation Letters, 2018
342018
Explainable multi agent path finding
S Almagor, M Lahijanian
AAMAS, 2020
332020
Formal and efficient synthesis for continuous-time linear stochastic hybrid processes
L Laurenti, M Lahijanian, A Abate, L Cardelli, M Kwiatkowska
IEEE Transactions on Automatic Control 66 (1), 17-32, 2020
322020
Asymptotically optimal stochastic motion planning with temporal goals
R Luna, M Lahijanian, M Moll, LE Kavraki
Algorithmic Foundations of Robotics XI: Selected Contributions of the …, 2015
322015
LTLf synthesis on probabilistic systems
AM Wells, M Lahijanian, LE Kavraki, MY Vardi
arXiv preprint arXiv:2009.10883, 2020
312020
系统目前无法执行此操作,请稍后再试。
文章 1–20