Sign in

Decidable Fragments of LTLf Modulo Theories (Extended Version).

Luca GeattiAlessandro GianolaNicola GiganteSarah Winkler
Published in: CoRR (2023)
Keyphrases
  • modulo theories
  • artificial intelligence
  • learning algorithm
  • metadata
  • constraint satisfaction problems
  • stable model semantics