Marcelo Forets

1 papers · 2022–2022 · 1 conference · across top CS/AI conferences

Achievements

🌈 Renaissance Researcher (5) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (13)

Conferences

AAAI (1)

Top co-authors

Christian Schilling (1) Sebastián Guadalupe (1)

Keywords

formal verification (1) neural network verification (1) neural network controller (1) reachability analysis (1) taylor model (1) control system (1) reachable state (1)

Papers

Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes AAAI 2022