Login / Signup

Improving the continuous execution of reactive LTL-based controllers.

Gangyuan JingHadas Kress-Gazit
Published in: ICRA (2013)
Keyphrases
  • reactive planning
  • temporal logic
  • control system
  • model checking
  • linear temporal logic
  • case study
  • execution model
  • deterministic automata