Author:Axel Busboom

Publications
A Smart Grid Energy Management Problem for Data-driven Design with Probabilistic Reachability Guarantees Daniele Ioli, Alessandro Falsone, Marianne Hartung, Axel Busboom and Maria Prandini In:ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems
formalSpec - Semi-Automatic Formalization of System Requirements for Formal Verification Axel Busboom, Simone Schuler and Alexander Walsch In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems