Login / Signup

A Bounded Domain Property for an Expressive Fragment of First-Order Linear Temporal Logic.

Quentin PeyrasJulien BrunelDavid Chemouil
Published in: TIME (2019)
Keyphrases
  • linear temporal logic
  • temporal logic
  • model checking
  • bounded model checking
  • domain specific
  • domain independent
  • reinforcement learning
  • general purpose
  • concurrent systems