Approximate Model Checking of PCTL Involving Unbounded Path Properties

2009 ◽  
pp. 326-346 ◽  
Author(s):  
Samik Basu ◽  
Arka P. Ghosh ◽  
Ru He
Keyword(s):  
Model Checking ◽  
Approximate Model ◽  
Path Properties

A two-step scheme for approximate model checking of stochastic hybrid systems

2011 ◽  
Vol 44 (1) ◽  
pp. 4519-4524 ◽  
Author(s):  
A. Abate ◽  
J.P. Katoen ◽  
J. Lygeros ◽  
M. Prandini
Keyword(s):  
Model Checking ◽  
Hybrid Systems ◽  
Approximate Model ◽  
Stochastic Hybrid Systems

scholarly journals Approximate Model Checking Using a Subset of First-order Logic

2010 ◽  
Vol 3 ◽  
pp. 268-282 ◽  
Author(s):  
Kiyoharu Hamaguchi ◽  
Kazuya Masuda ◽  
Toshinobu Kashiwabara
Keyword(s):  
Model Checking ◽  
Approximate Model ◽  
Order Logic ◽  
First Order Logic ◽  
First Order

Approximate Model Checking of Stochastic Hybrid Systems

2010 ◽  
Vol 16 (6) ◽  
pp. 624-641 ◽  
Author(s):  
Alessandro Abate ◽  
Joost-Pieter Katoen ◽  
John Lygeros ◽  
Maria Prandini
Keyword(s):  
Model Checking ◽  
Hybrid Systems ◽  
Approximate Model ◽  
Stochastic Hybrid Systems

AN APPROXIMATE MODEL OF INCIPIENCE OF HIGHLY INTENSIVE FILM BOILING REGIME IN SUBCOOLED LIQUIDS

2018 ◽  
Author(s):  
Victor V. Yagov ◽  
Arslan R. Zabirov ◽  
Pavel K. Kanin ◽  
Maxim A. Lexin
Keyword(s):  
Approximate Model ◽  
Film Boiling ◽  
Boiling Regime
Sign in / Sign up

Export Citation Format

Share Document