Registered user since Fri 27 Nov 2020

Name:Miriam García Soto
Affiliation:IST Austria
Research interests:Hybrid automata, stability verification, data-driven modelling

Contributions