Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems

BIB
Fränzle, Martin and Gerwinn, Sebastian and Kröger, Paul and Abate, Alessandro and Katoen, Joost-Pieter
Formal Modeling and Analysis of Timed Systems
2015
incollection
Springer International Publishing
Lecture Notes in Computer Science
93-107
MoVeS
Modeling, Verification and Control of complex Systems: From Foundations to Power Network Appliances
Sankaranarayanan, Sriram and Vicario, Enrico
9268