Andoni Rodríguez

According to our database¹, Andoni Rodríguez authored at least 4 papers between 2023 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Boolean Abstractions for Realizability Modulo Theories (Extended version).

[BibT_eX]

[DOI]

CoRR, 2023

From Realizability Modulo Theories to Synthesis Modulo Theories Part 1: Dynamic approach.

[BibT_eX]

[DOI]

CoRR, 2023

Boolean Abstractions for Realizability Modulo Theories.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 35th International Conference, 2023