This page shows all presentations from this conference published in EasyChair Smart Slide.
Formal verification of neural networks
Georg Nührenberg
Heuristic-Based GR(1) Assumptions Refinement
Davide Giacomo Cavezza