Login / Signup

Optimization-based trajectory generation with linear temporal logic specifications.

Eric M. WolffUfuk TopcuRichard M. Murray
Published in: ICRA (2014)
Keyphrases
  • linear temporal logic
  • bounded model checking
  • temporal logic
  • model checking
  • optimization problems
  • formal verification
  • high level
  • general purpose
  • formal specification
  • specification language
  • transition systems