Keyword:Probabilistic Reachability

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