scholarly journals An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions

2017 ◽  
pp. 104-119 ◽  
Author(s):  
Laura Bozzelli ◽  
Alberto Molinari ◽  
Angelo Montanari ◽  
Adriano Peron
Keyword(s):  
Model Checking ◽  
Temporal Logic ◽  
Logic Model ◽  
Regular Expressions ◽  
Interval Temporal Logic ◽  
Logic Model Checking

Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments

2016 ◽  
pp. 389-405 ◽  
Author(s):  
Laura Bozzelli ◽  
Alberto Molinari ◽  
Angelo Montanari ◽  
Adriano Peron ◽  
Pietro Sala
Keyword(s):  
Model Checking ◽  
Temporal Logic ◽  
Logic Model ◽  
Interval Temporal Logic ◽  
Logic Model Checking

scholarly journals Decidability of Model Checking Multi-Agent Systems with Regular Expressions against Epistemic HS Specifications

2019 ◽  
Author(s):  
Jakub Michaliszyn ◽  
Piotr Witkowski
Keyword(s):  
Model Checking ◽  
Temporal Logic ◽  
Order Logic ◽  
Regular Expressions ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Interval Temporal Logic ◽  
Multi Agent ◽  
Second Order Logic ◽  
Monadic Second Order Logic

Epistemic Halpern-Shoham logic (EHS) is an interval temporal logic defined to verify properties of Multi-Agent Systems. In this paper we show that the model checking Multi-Agent Systems with regular expressions against the EHS specifications is decidable. We achieve this by reducing the model checking problem to the satisfiability problem of Monadic Second-Order Logic on trees.

UTP and Temporal Logic Model Checking

2010 ◽  
pp. 22-41 ◽  
Author(s):  
Hugh Anderson ◽  
Gabriel Ciobanu ◽  
Leo Freitas
Keyword(s):  
Model Checking ◽  
Temporal Logic ◽  
Logic Model ◽  
Logic Model Checking

Symmetry in temporal logic model checking

2006 ◽  
Vol 38 (3) ◽  
pp. 8 ◽  
Author(s):  
Alice Miller ◽  
Alastair Donaldson ◽  
Muffy Calder
Keyword(s):  
Model Checking ◽  
Temporal Logic ◽  
Logic Model ◽  
Logic Model Checking

Temporal Logic Model Checking

2005 ◽  
pp. 539-558 ◽  
Author(s):  
Edmund Clarke ◽  
Ansgar Fehnker ◽  
Sumit Kumar Jha ◽  
Helmut Veith
Keyword(s):  
Model Checking ◽  
Temporal Logic ◽  
Logic Model ◽  
Logic Model Checking
Sign in / Sign up

Export Citation Format

Share Document