Sanchez, Cesar
- Bounded Model Checking for Hyperproperties
2020/09/18 by Tzu-Han Hsu, Hsu, Tzu-Han, César Sánchez +3 · 5 citations
Computer Science · #Cryptography and Security (cs.CR) #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Real-Time Systems Scheduling #Software Testing and Debugging Techniques
- Boolean Abstractions for Realizability Modulo Theories (Extended version)
2023/10/26 by Rodriguez, Andoni, Sanchez, Cesar · 4 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties
2022/07/06 by Bozzelli, Laura, Peron, Adriano, Sanchez, Cesar · 2 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Symbolic Runtime Verification for Monitoring under Uncertainties and Assumptions
2022/07/12 by Hannes Kallwies, Kallwies, Hannes, Martin Leucker +3 · 1 citation
Computer Science · Engineering · #Formal Methods in Verification #Advanced Software Engineering Methodologies #Safety Systems Engineering in Autonomy
- Shield Synthesis for LTL Modulo Theories
2024/06/06 by Rodriguez, Andoni, Amir, Guy, Corsi, Davide +2 · 2 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Robotics (cs.RO)
- Verification-Guided Shielding for Deep Reinforcement Learning
2024/06/10 by Corsi, Davide, Amir, Guy, Rodriguez, Andoni +3 · 1 citation
#FOS: Computer and information sciences #Machine Learning (cs.LG)