Sign in

Linear Temporal Logic Modulo Theories over Finite Traces (Extended Version).

Luca GeattiAlessandro GianolaNicola Gigante
Published in: CoRR (2022)
Keyphrases
  • linear temporal logic
  • temporal logic
  • model checking
  • modulo theories
  • answer set programming
  • learning algorithm
  • computational complexity
  • evolutionary algorithm
  • query language
  • orders of magnitude