Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains

BIB
Ellen, Christian and Gerwinn, Sebastian and Fränzle, Martin
International Journal on Software Tools for Technology Transfer
2014
article
1-20
MoVeS
Modeling, Verification and Control of complex Systems: From Foundations to Power Network Appliances
CRYSTAL
Critical System Engineering Acceleration