Decidable Fragments of LTLf Modulo Theories (Extended Version).

Luca Geatti Alessandro Gianola Nicola Gigante Sarah Winkler

Published in: CoRR (2023)

Keyphrases

modulo theories
artificial intelligence
learning algorithm
metadata
constraint satisfaction problems
stable model semantics