M
Morteza Lahijanian
Researcher at University of Colorado Boulder
Publications - 78
Citations - 1543
Morteza Lahijanian is an academic researcher from University of Colorado Boulder. The author has contributed to research in topics: Markov decision process & Computer science. The author has an hindex of 18, co-authored 54 publications receiving 1125 citations. Previous affiliations of Morteza Lahijanian include Boston University & Heriot-Watt University.
Papers
More filters
Journal ArticleDOI
Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees
TL;DR: A computational framework for automatic deployment of a robot with sensor and actuator noise from a temporal logic specification over a set of properties that are satisfied by the regions of a partitioned environment is described.
Proceedings ArticleDOI
Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees
TL;DR: An algorithm inspired from probabilistic Computation Tree Logic (PCTL) model checking to find a control strategy that maximizes the probability of satisfying the specification is proposed.
Journal ArticleDOI
Synthesis for Robots: Guarantees and Feedback for Robot Behavior
TL;DR: The current state of formal synthesis for robotics is reviewed and the landscape of abstractions, specifications, and synthesis algorithms that enable it is surveyed.
Journal ArticleDOI
Formal Verification and Synthesis for Discrete-Time Stochastic Systems
TL;DR: An abstraction procedure is developed that maps a discrete-time stochastic system to an Interval-valued Markov Chain ( IMC) and a switch to a Bounded-parameter Markov Decision Process ( BMDP) and develops an efficient refinement algorithm that reduces the uncertainty in the abstraction.
Proceedings ArticleDOI
Iterative temporal motion planning for hybrid systems in partially unknown environments
TL;DR: A multi-layered synergistic framework that can deal with general robot dynamics and combine it with an iterative planning strategy is employed and is successful in generating a trajectory whose satisfaction measure of the specification is optimal.