Concepedia

Morteza Lahijanian

ML

Statistics

Publications

36

Citations

1.5K

H-Index

21

Active since

2009

Affiliations

University of Colorado Boulder(Current)

Rice University

University of Oxford

Boston University

Cornell University

Morteza Lahijanian is an author at University of Colorado Boulder specializing in robotics, robotics engineering, and autonomous systems.

Publications per year

2009–2023

36

Publications

36

Synthesis for Robots: Guarantees and Feedback for Robot Behavior

Hadas Kress‐Gazit, Morteza Lahijanian, Vasumathi Raman · Annual Review of Control Robotics and Autonomous Systems · 2018 · 171 citations · Full text

Computing, Computer Science, Robotics Engineering +8

Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees

Morteza Lahijanian, Sean B. Andersson, Călin Belta · IEEE Transactions on Robotics · 2011 · 148 citations

Computing, Autonomous Systems, Computer Science +15

Formal Verification and Synthesis for Discrete-Time Stochastic Systems

Morteza Lahijanian, Sean B. Andersson, Călin Belta · IEEE Transactions on Automatic Control · 2015 · 116 citations

Engineering, Systems Engineering, Formal Methods +16

Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees

Morteza Lahijanian, Jerzy Waśniewski, Sean B. Andersson et al. · 2010 · 104 citations

Computing, Autonomous Systems, Computer Science +17

Towards manipulation planning with temporal logic specifications

Keliang He, Morteza Lahijanian, Lydia E. Kavraki et al. · 2015 · 94 citations

Engineering, Computer Science, Robotics Engineering +15

1–5 of 36