Sign in

Linear Temporal Logic Modulo Theories over Finite Traces.

Luca GeattiAlessandro GianolaNicola Gigante
Published in: IJCAI (2022)
Keyphrases
  • linear temporal logic
  • modulo theories
  • temporal logic
  • model checking
  • answer set programming
  • machine learning
  • satisfiability modulo theories
  • stable model semantics
  • linear programming
  • logic programs