Sampling-based motion planning with deterministic μ-calculus specifications

  title={Sampling-based motion planning with deterministic μ-calculus specifications},
  author={Sertac Karaman and Emilio Frazzoli},
  journal={Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference},
In this paper, we propose algorithms for the on-line computation of control programs for dynamical systems that provably satisfy a class of temporal logic specifications. Such specifications have recently been proposed in the literature as a powerful tool to synthesize provably correct control programs, for example for embedded systems and robotic… CONTINUE READING

4 Figures & Tables


Citations per Year

159 Citations

Semantic Scholar estimates that this publication has 159 citations based on the available data.

See our FAQ for additional information.