Tools
Ein Schwerpunkt unserer Arbeit bildet die Entwicklung von Tools, die unsere Forschung unterstützen. Folgende Projekte wurden dabei bisher umgesetzt oder stehen aktuell im Fokus unserer Arbeit:
- RealySt: Erreichbarkeitsanalyse für stochastische hybride Systeme
- HYPEG - EIN TOOL FÜR DIE SIMULATION UND ANALYSE VON HPNG MODELLEN