Peer-reviewed journal publications

M. Lahijanian, M. Maly, D. Fried, L. E. Kavraki, H. Kress-Gazit, M. Y. Vardi, "Iterative Temporal Planning in Uncertain Environments with Partial Satisfaction Guarantees," IEEE Transactions on Robotics, vol. 32, no. 3, pp. 583-599, May 2016. [pdf: draft, final], [bib]

M. Lahijanian, S.B. Andersson, C. Belta, "Formal Verification and Synthesis for Discrete-Time Stochastic Systems," IEEE Transactions on Automatic Control, vol. 60, no. 8, pp. 2031-2045, Aug. 2015. [pdf], [bib]

J. Wang, X. C. Ding, M. Lahijanian, I. Ch. Paschalidis, C. Belta, "Temporal logic motion control using actor-critic methods," Int. Journal of Robotics Research, vol. 34, no. 10, pp. 1329-1344, Aug. 2015. [pdf], [bib]

M. Lahijanian, S.B. Andersson, and C. Belta, “Temporal logic motion planning and control with probabilistic satisfaction guarantees,” IEEE Transactions on Robotics, vol. 28, no. 2, pp. 396-409, Apr. 2012. [pdf], [bib]

S.B. Andersson, D. Hristu-Varsakelis, and M. Lahijanian, “Observers in language-based control,” Communications in Information and Systems (Special Issue Dedicated to the 70th Birthday of Roger Brockett), vol. 8. no. 2, pp. 85-106, 2009. [pdf], [bib]

Peer-reviewed conference publications

K. He, M. Lahijanian, L. E. Kavraki, M. Y. Vardi, "Reactive Synthesis for Finite Tasks Under Resource Constraints," IEEE Int. Conf. on Intelligent Robots and Systems (IROS), Vancouver, BC, Sep. 2017. (accepted) [pdf], [bib]

E. M. Hahn, V. Hashemi, H. Hermanns, M. Lahijanian, and A. Turrini, “Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes,” Int. Conf. on Quantitative Evaluation of SysTems (QEST), Berlin, Germany, Sep. 2017. (accepted) [pdf], [bib]

M. Lahijanian and M. Kwiatkowska, “Specification Revision for Markov Decision Processes with Optimal Trade-off,” IEEE Conf. on Decision and Control (CDC), pp. 7411-7418, Las Vegas, NV, Dec. 2016. [pdf], [bib]

M. Lahijanian and M. Kwiatkowska, “Social Trust: a Major Challenge for the Future of Autonomous Systems,” AAAI Fall Symposium on Cross-Disciplinary Challenges for Autonomous Systems (AAAI FSS), pp. 189-193, Nov. 2016. [pdf], [bib]

K. He, M. Lahijanian, L. E. Kavraki, M. Y. Vardi, "Towards Manipulation Planning with Temporal Logic Specifications," IEEE Int. Conf. on Robotics and Automation (ICRA), pp. 346-352, Seattle, WA, May. 2015. [pdf], [bib]

M. Lahijanian, S. Almagor, D. Fried, L. E. Kavraki, M. Y. Vardi, "This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction," AAAI Conf. on Artificial Intelligence (AAAI), pp. 3664-3671, Jan. 2015. [pdf], [bib]

R. Luna, M. Lahijanian, L. E. Kavraki, M. Moll, "Asymptotically Optimal Stochastic Motion Planning with Temporal Goals," Workshop on the Algorithmic Foundations of Robotics (WAFR), pp. 335-352, Aug. 2014. [pdf], [bib]

R. Luna, M. Lahijanian, L. E. Kavraki, M. Moll, "Optimal and Efficient Stochastic Motion Planning in Partially-Known Environments," AAAI Conference on Artificial Intelligence, (AAAI), pp. 2549-2555, Quebec City, Canada, July, 2014. [pdf], [bib]

M. Lahijanian, L. E. Kavraki, M. Y. Vardi, “A Sampling-Based Strategy Planner for Nondeterministic Hybrid Systems,” IEEE International Conference on Robotics and Automation (ICRA), pp. 3005-3012, May, 2014. [pdf], [bib]

R. Luna, M. Lahijanian, L. E. Kavraki, M. Moll, “Fast Stochastic Motion Planning with Optimality Guarantees Using Local Policy Reconfiguration,” IEEE International Conference on Robotics and Automation (ICRA), pp. 3013-3019, May, 2014. [pdf], [bib]

M. R. Maley, M. Lahijanian, L. E. Kavraki, H. Kress-Gazit, and M. Y. Vardi, “Iterative Temporal Motion Planning for Hybrid Systems in Partially Unknown Environments,” ACM Int. Conf. on Hybrid Systems: Computational and Control (HSCC), pp. 353-362, Philadelphia, PA, 2013. [pdf], [bib]

M. Lahijanian, S.B. Andersson, and C. Belta, “Approximate Markovian Abstractions for Linear Stochastic Systems,” IEEE Conference on Decision and Control (CDC), pp. 5966-5971, Maui, HI, 2012. [pdf], [bib]

X. C. Ding, J. Wang, M. Lahijanian, I. Paschalidis, and C. Belta, "Temporal Logic Motion Control using Actor-Critic Methods," IEEE International Conference on Robotics and Automation (ICRA), pp. 4687-4692, St. Paul, MN, 2012. [pdf], [bib]

R. Moazzez Estanjini, X. C. Ding, M. Lahijanian, C. Belta, I. Paschalidis, “Least Squares Temporal Difference Actor-Critic Methods with Applications to Robot Motion Control,” IEEE Conference on Decision and Control (CDC), pp. 704-709, Orlando, FL, 2011. [pdf], [bib]

I. Cizelj, X. C. Ding, M. Lahijanian, A. Pinto, C. Belta, “Probabilistically Safe Vehicle Control in a Hostile Environment,” 18th IFAC World Congress, Milan, Italy. [pdf], [bib]

M. Lahijanian, S.B. Andersson, and C. Belta, “Control of Markov decision processes from PCTL specifications,” American Controls Conference (ACC), pp. 311-316, 2011. [pdf], [bib]

M. Lahijanian, J. Wasniewski, S.B. Andersson, and C. Belta, “Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees,” IEEE International Conference on Robotics and Automation (ICRA), pp. 3227-3232, 2010. [pdf], [bib]

M. Lahijanian, S.B. Andersson, and C. Belta, “A probabilistic approach for control of a stochastic system from LTL specifications,” IEEE Conference on Decision and Control (CDC), pp. 2236-2241, 2009. [pdf], [bib]

M. Lahijanian, M. Kloetzer, S. Itani, C. Belta, and S.B. Andersson, “Automatic deployment of autonomous cars in a robotic urban-like environment (RULE),” IEEE International Conference on Robotics and Automation (ICRA), pp. 2055-2060, 2009. [pdf], [bib]