Automata for Epistemic Temporal Logic with Synchronous Communication.
Swarup MohalikRamaswamy RamanujamPublished in: J. Log. Lang. Inf. (2010)
Keyphrases
- temporal logic
- synchronous communication
- computation tree logic
- automata theoretic
- model checking
- asynchronous communication
- epistemic logic
- finite state
- temporal epistemic
- modal operators
- modal logic
- satisfiability problem
- bounded model checking
- belief revision
- concurrent systems
- belief change
- model checker
- temporal properties
- verification method
- linear temporal logic
- formal verification
- temporal knowledge
- transition systems
- formal specification
- data model
- temporally extended goals
- regular expressions
- markov decision processes
- formal specification language
- pattern matching