Rodríguez et al. "Shield Synthesis for LTL Modulo Theories." AAAI Conference on Artificial Intelligence, 2025. doi:10.1609/AAAI.V39I14.33660
Markdown
[Rodríguez et al. "Shield Synthesis for LTL Modulo Theories." AAAI Conference on Artificial Intelligence, 2025.](https://mlanthology.org/aaai/2025/rodriguez2025aaai-shield/) doi:10.1609/AAAI.V39I14.33660
BibTeX
@inproceedings{rodriguez2025aaai-shield,
title = {{Shield Synthesis for LTL Modulo Theories}},
author = {Rodríguez, Andoni and Amir, Guy and Corsi, Davide and Sánchez, César and Katz, Guy},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {2025},
pages = {15134-15142},
doi = {10.1609/AAAI.V39I14.33660},
url = {https://mlanthology.org/aaai/2025/rodriguez2025aaai-shield/}
}