Login / Signup

Controlling Wild Bodies Using Linear Temporal Logic.

Leonardo BobadillaOscar SanchezJustin CzarnowskiKatrina GossmanSteven M. LaValle
Published in: Robotics: Science and Systems (2011)
Keyphrases
  • linear temporal logic
  • temporal logic
  • model checking
  • bounded model checking
  • integer programming
  • concurrent systems
  • transition systems