Login / Signup

A Framework for Formal Verification of Behavior Trees With Linear Temporal Logic.

Oliver BiggarMohammad Zamani
Published in: IEEE Robotics Autom. Lett. (2020)
Keyphrases
  • formal verification
  • bounded model checking
  • model checking
  • linear temporal logic
  • programming language
  • temporal logic
  • general purpose
  • domain independent
  • software architecture