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

VMCAI 2021 Committee Member in Artifact Evaluation Committee within the VMCAI-track