Shield Synthesis for LTL Modulo Theories.

Andoni Rodrguez, Guy Amir, Davide Corsi, Csar Snchez, Guy Katz

Browse the full AAAI paper archive.