Rigorous Continuous Evolution of Uncertain Systems.

Luca Geretti, Sanja Zivanovic Gonzalez, Pieter Collins, Davide Bresolin, Tiziano Villa

Browse the full CAV paper archive.