Cesar Sanchez

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 2

Top Topics

Modulo Theories

Linear Temporal Logic

Fingerprint Verification

Top Venues

Publications

Davide Corsi, Guy Amir, Andoni Rodriguez, Cesar Sanchez, Guy Katz, Roy Fox
Verification-Guided Shielding for Deep Reinforcement Learning. CoRR (2024)
Andoni Rodriguez, Guy Amir, Davide Corsi, Cesar Sanchez, Guy Katz
Shield Synthesis for LTL Modulo Theories. CoRR (2024)