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

Author(s):  
Christian Ellen ◽  
Sebastian Gerwinn ◽  
Martin Fränzle
2012 ◽  
Vol 92 ◽  
pp. 122-136 ◽  
Author(s):  
Alexandre David ◽  
Dehui Du ◽  
Kim G. Larsen ◽  
Axel Legay ◽  
Marius Mikučionis ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document