Symbolic Model Checking for Temporal-Epistemic Logic

2012 ◽  
pp. 172-195 ◽  
Author(s):  
Alessio Lomuscio ◽  
Wojciech Penczek
Keyword(s):  
Model Checking ◽  
Epistemic Logic ◽  
Symbolic Model Checking ◽  
Symbolic Model

scholarly journals Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond*

2017 ◽  
Vol 28 (2) ◽  
pp. 367-402 ◽  
Author(s):  
Johan van Benthem ◽  
Jan van Eijck ◽  
Malvin Gattinger ◽  
Kaile Su
Keyword(s):  
Model Checking ◽  
Epistemic Logic ◽  
Dynamic Epistemic Logic ◽  
Symbolic Model Checking ◽  
Symbolic Model

Control Explicit--Data Symbolic Model Checking

2016 ◽  
Vol 25 (2) ◽  
pp. 1-48 ◽  
Author(s):  
Petr Bauch ◽  
Vojtěch Havel ◽  
Jiří Barnat
Keyword(s):  
Model Checking ◽  
Symbolic Model Checking ◽  
Symbolic Model

scholarly journals Safety assessment of AltaRica models via symbolic model checking

2015 ◽  
Vol 98 ◽  
pp. 464-483 ◽  
Author(s):  
Marco Bozzano ◽  
Alessandro Cimatti ◽  
Oleg Lisagor ◽  
Cristian Mattarei ◽  
Sergio Mover ◽  
...  
Keyword(s):  
Model Checking ◽  
Safety Assessment ◽  
Symbolic Model Checking ◽  
Symbolic Model
Sign in / Sign up

Export Citation Format

Share Document