Registered user since Fri 27 Nov 2020

Name: Miriam García Soto

Affiliation: IST Austria

Personal website: https://pub.ist.ac.at/~mgarcias/

Research interests: Hybrid automata, stability verification, data-driven modelling

Contributions

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