Work on specification, verification, synthesis, and monitoring for safe AI systems.
A. Example, C. Logic, M. Systems. In CAV 2025.