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

2014 ◽  
Vol 17 (4) ◽  
pp. 485-504 ◽  
Author(s):  
Christian Ellen ◽  
Sebastian Gerwinn ◽  
Martin Fränzle
Keyword(s):  
Model Checking ◽  
Statistical Model ◽  
Hybrid Systems ◽  
Stochastic Hybrid Systems ◽  
Statistical Model Checking ◽  
Continuous Domains

scholarly journals Statistical Model Checking for Stochastic Hybrid Systems

2012 ◽  
Vol 92 ◽  
pp. 122-136 ◽  
Author(s):  
Alexandre David ◽  
Dehui Du ◽  
Kim G. Larsen ◽  
Axel Legay ◽  
Marius Mikučionis ◽  
...  
Keyword(s):  
Model Checking ◽  
Statistical Model ◽  
Hybrid Systems ◽  
Stochastic Hybrid Systems ◽  
Statistical Model Checking
Sign in / Sign up

Export Citation Format

Share Document