Login / Signup

Efficient reactive controller synthesis for a fragment of linear temporal logic.

Eric M. WolffUfuk TopcuRichard M. Murray
Published in: ICRA (2013)
Keyphrases
  • linear temporal logic
  • temporal logic
  • model checking
  • bounded model checking
  • orders of magnitude