Concepedia

Morteza Lahijanian

ML

36

Publications

1.5K

Citations

21

H-Index

2009

Active since

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 systems engineering, computer science, and engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringRoboticsRobot LearningAutomationIntelligent SystemsFormal MethodsPlanningAutomated Reasoning

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 · 166 citations · Full text

Robot Kinematics, Engineering, Verification +17

Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees

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

Engineering, Field Robotics, Intelligent Robotics +23

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

Stochastic Hybrid System, Engineering, Automated Reasoning +14

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

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

Engineering, Automatic Deployment, Temporal Logic Specifications +24

Towards manipulation planning with temporal logic specifications

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

Artificial Intelligence, Robotic Systems, Engineering +24

Rows per page

1–5 of 36