Boolean abstractions for realizability modulo theories A Rodríguez, C Sánchez International Conference on Computer Aided Verification, 305-328, 2023 | 9 | 2023 |
Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories A Rodríguez, C Sánchez Proceedings of the AAAI Conference on Artificial Intelligence 38 (9), 10679 …, 2024 | 4 | 2024 |
Realizability modulo theories A Rodríguez, C Sánchez Journal of Logical and Algebraic Methods in Programming 140, 100971, 2024 | 3 | 2024 |
Shield Synthesis for LTL Modulo Theories A Rodriguez, G Amir, D Corsi, C Sanchez, G Katz arXiv preprint arXiv:2406.04184, 2024 | 3 | 2024 |
Verification-Guided Shielding for Deep Reinforcement Learning D Corsi, G Amir, A Rodriguez, C Sanchez, G Katz, R Fox arXiv preprint arXiv:2406.06507, 2024 | 2 | 2024 |
Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis A Rodríguez, F Gorostiaga, C Sánchez arXiv preprint arXiv:2407.09348, 2024 | | 2024 |
Boolean Abstractions for Realizability Modulo Theories (Extended version) A Rodriguez, C Sanchez arXiv preprint arXiv:2310.17292, 2023 | | 2023 |
From Realizability Modulo Theories to Synthesis Modulo Theories Part 1: Dynamic approach A Rodríguez, C Sanchez arXiv preprint arXiv:2310.07904, 2023 | | 2023 |