Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Cycle-Consistent Neural Explanation of Formal Verification Certificates
Andoni Rodriguez, Alberto Pozanco, Daniel Borrajo
Formal verification produces machine-checkable certificates that attest to the satisfaction or violation of temporal properties, yet these certificates remain opaque to non-special…
cs.AI2025
Efficient Dynamic Shielding for Parametric Safety Specifications
Davide Corsi, Kaushik Mallik, Andoni Rodriguez +1
Shielding has emerged as a promising approach for ensuring safety of AI-controlled autonomous systems. The algorithmic goal is to compute a shield, which is a runtime safety enforc…