Sampling-based motion planning with deterministic μ-calculus specifications

@article{Karaman2009SamplingbasedMP,
  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},
  year={2009},
  pages={2222-2229}
}
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

Statistics

02040201020112012201320142015201620172018
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.