Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems

2012 ◽  
pp. 123-138 ◽  
Author(s):  
Christian Ellen ◽  
Sebastian Gerwinn ◽  
Martin Fränzle
Keyword(s):  
Model Checking ◽  
Statistical Model ◽  
Hybrid Systems ◽  
Confidence Bounds ◽  
Statistical Model Checking

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

Prioritizing Scenarios based on STAMP/STPA Using Statistical Model Checking

2020 ◽  
Author(s):  
Mitsuaki Tsuji ◽  
Toshinori Takai ◽  
Kazuki Kakimoto ◽  
Naoki Ishihama ◽  
Masafumi Katahira ◽  
...  
Keyword(s):  
Model Checking ◽  
Statistical Model ◽  
Statistical Model Checking

Learning and analysis of sensors behavior in IoT systems using statistical model checking

2021 ◽  
Author(s):  
Salim Chehida ◽  
Abdelhakim Baouya ◽  
Saddek Bensalem ◽  
Marius Bozga
Keyword(s):  
Model Checking ◽  
Statistical Model ◽  
Statistical Model Checking

Computing Biological Model Parameters by Parallel Statistical Model Checking

2015 ◽  
pp. 542-554 ◽  
Author(s):  
Toni Mancini ◽  
Enrico Tronci ◽  
Ivano Salvo ◽  
Federico Mari ◽  
Annalisa Massini ◽  
...  
Keyword(s):  
Model Checking ◽  
Statistical Model ◽  
Biological Model ◽  
Model Parameters ◽  
Statistical Model Checking
Sign in / Sign up

Export Citation Format

Share Document