| 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 (1), 211-236, 2018 | 189 | 2018 |
| 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 | 165 | 2011 |
| 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 | 138 | 2010 |
| 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 | 137 | 2015 |
| 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 | 128 | 2015 |
| 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 | 113 | 2013 |
| 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 | 110 | 2016 |
| 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 | 87 | 2015 |
| 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 | 55 | 2019 |
| 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 | 52 | 2009 |
| 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 | 50 | 2017 |
| Specification Revision for Markov Decision Processes with Optimal Trade-off M Lahijanian, M Kwiatkowska IEEE Conference on Decision and Control, 2016 | 42 | 2016 |
| 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 | 41* | 2018 |
| 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 | 40 | 2015 |
| 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 | 39 | 2017 |
| Control of Markov decision processes from PCTL specifications M Lahijanian, SB Andersson, C Belta Proceedings of the 2011 American Control Conference, 311-316, 2011 | 37 | 2011 |
| 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 | 36 | 2020 |
| Online mapping and motion planning under uncertainty for safe navigation in unknown environments È Pairet, JD Hernández, M Carreras, Y Petillot, M Lahijanian IEEE Transactions on Automation Science and Engineering 19 (4), 3356-3378, 2021 | 35 | 2021 |
| Explainable multi agent path finding S Almagor, M Lahijanian AAMAS, 2020 | 35 | 2020 |
| Gaze-based intention anticipation over driving manoeuvres in semi-autonomous vehicles M Wu, T Louw, M Lahijanian, W Ruan, X Huang, N Merat, M Kwiatkowska 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2019 | 34 | 2019 |
