César Sánchez

Full Professor, IMDEA Networks Institute

Joined

July 2019

Names

César Sánchez

Emails

****@imdea.org (Confirmed)

Personal Links

Career & Education History

Full Professor

IMDEA Networks Institute (imdea.org)

2023 – Present

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

Shield Synthesis for LTL Modulo Theories
Andoni Rodríguez, Guy Amir, Davide Corsi, César Sánchez, Guy Katz
- AAAI Conference on Artificial Intelligence (AAAI 2025)
- Readers: Everyone
Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories
Andoni Rodríguez, César Sánchez
- AAAI Conference on Artificial Intelligence (AAAI 2024)
- Readers: Everyone
Boolean Abstractions for Realizability Modulo Theories
Andoni Rodríguez, César Sánchez
- Computer Aided Verification (CAV 2023)
- Readers: Everyone
Verification-Guided Shielding for Deep Reinforcement Learning
Davide Corsi, Guy Amir, Andoni Rodríguez, Guy Katz, César Sánchez, Roy Fox
- RLC 2024
- Readers: Everyone

Co-Authors