Model Checking Multi-Agent Systems against Epistemic HS Specifications with Regular Expressions.

Alessio Lomuscio Jakub Michaliszyn

Published in: KR (2016)

Keyphrases

regular expressions
model checking
temporal epistemic
bounded model checking
multi agent systems
epistemic logic
computation tree logic
model checker
formal specification

automated verification
transition systems
temporal logic
coalition logic
formal verification
reactive systems
pattern matching
finite state machines
concurrent systems

finite automata
query language
xml schema
temporal properties
finite state
pspace complete
game theory
tree automata
cooperative

multi agent
verification method
formal methods
query evaluation
matching algorithm
linear temporal logic
asynchronous circuits
database
object oriented