HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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

Keyphrases

controlled natural language, Data-driven design, formal methods, formalSpec, monitor automata, Probabilistic Reachability, Requirement Templates, requirements capture, Smart grid energy management, specification templates, tool, verification.

Copyright © 2012-2025 easychair.org. All rights reserved.