Author:Adolfo Anta

Publications
Hybrid Modelling of a Wind Turbine Simone Schuler, Fabiano Daher Adegas and Adolfo Anta In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Benchmark problem: an air brake model for trains Luca Parolini, Simone Schuler and Adolfo Anta In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems