Temporal Logics with Local Constraints (Invited Talk).

Claudia Carapelle Markus Lohrey

Published in: CSL (2015)

Keyphrases

temporal logic
invited talk
model checking
automata theoretic
modal logic
mazurkiewicz traces
belief revision
satisfiability problem
predicate logic
selected papers
constraint satisfaction
concurrent systems
knowledge discovery and data mining
search algorithm
verification method
transition systems