Fairness with EXPTIME Bundled CTL Tableau.
John Christopher McCabe-DanstedMark ReynoldsPublished in: TIME (2014)
Keyphrases
- belief revision
- description logics
- minimal change
- knowledge base
- temporal logic
- automata theoretic
- computation tree logic
- exptime complete
- model checking
- resource allocation
- game theory
- expressive description logics
- knowledge representation
- bounded model checking
- fair exchange
- database
- temporal properties
- satisfiability problem
- transition systems
- number restrictions
- linear temporal logic
- utility function
- multi party non repudiation
- model theoretic
- formal specification
- upper bound
- query processing