Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems

To use all the features of this page, you need JavaScript!<br> Please update your browser or enable JavaScript in your settings.

Export

All authors

Fränzle, Martin and Gerwinn, Sebastian and Kröger, Paul and Abate, Alessandro and Katoen, Joost-Pieter

Booktitle

Formal Modeling and Analysis of Timed Systems

Publishing date

2015

Type of Publication

incollection

Publisher

Springer International Publishing

Series

Lecture Notes in Computer Science

Pages

93-107

Projects

MoVeS
Modeling, Verification and Control of complex Systems: From Foundations to Power Network Appliances

Doi

Url

Editor

Sankaranarayanan, Sriram and Vicario, Enrico

Edition

9268