Statistical Model Checking, Refinement Checking, Optimization, … for Stochastic Hybrid Systems

2012 ◽  
pp. 7-10 ◽  
Author(s):  
Kim G. Larsen
Keyword(s):  
Model Checking ◽  
Statistical Model ◽  
Hybrid Systems ◽  
Stochastic Hybrid Systems ◽  
Statistical Model Checking ◽  
Refinement 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