[2024-12-10 Thu]: Our paper "Shield Synthesis for LTL Modulo Theories" accepted at AAAI 2025
Andoni Rodríguez, Guy Amir, Davide Corsi, César Sánchez and Guy Katz: ``Shield Synthesis for LTL Modulo Theories’’ will appear in AAAI'25
Andoni Rodríguez, Guy Amir, Davide Corsi, César Sánchez and Guy Katz: ``Shield Synthesis for LTL Modulo Theories’’ will appear in AAAI'25