Temporal Logic as Filtering.

Alëna Rodionova Ezio Bartocci Dejan Nickovic Radu Grosu

Published in: HSCC (2016)

Keyphrases

temporal logic
model checking
modal logic
concurrent systems
satisfiability problem
verification method
linear temporal logic
mazurkiewicz traces
belief revision
artificial intelligence
temporal knowledge
temporal properties
computation tree logic
formal specification language