César Sánchez
3 papers · 2024–2025 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Silver
🏆
Keyword Champion
(2)
Top co-authors
Research topics
Keywords
linear temporal logic
(2)
reactive synthesis
(2)
formal verification
(2)
safety specification
(2)
safety-critical system
(1)
controller synthesis
(1)
multi-agent environment
(1)
shield synthesis
(1)
modulo theories
(1)
continuous-space shield
(1)
realizability verification
(1)
formal methods
(1)
non-markovian safety
(1)
discrete mathematics
(1)
safe reinforcement learning
(1)
temporal logic
(1)