Shield Synthesis for LTL Modulo Theories.

Andoni Rodriguez Guy Amir Davide Corsi Cesar Sanchez Guy Katz

Published in: CoRR (2024)

Keyphrases

modulo theories
model checking
temporal logic
answer set programming
linear temporal logic
natural language
lower bound
expert systems
search space
special case
knowledge representation
stable model semantics