AI.info

Sydney M. Katz

Explore Sydney M. Katz on AI.info.

• A New Strategy for Verifying Reach-Avoid Specifications in Neural Feedback Systems