Login / Signup

Giving Instructions in Linear Temporal Logic.

Julian GutierrezSarit KrausGiuseppe PerelliMichael J. Wooldridge
Published in: TIME (2022)
Keyphrases
  • linear temporal logic
  • temporal logic
  • model checking
  • bounded model checking
  • orders of magnitude
  • domain specific