Counting CTL
François LaroussinieAntoine MeyerEudes PetonnetPublished in: Log. Methods Comput. Sci. (2012)
Keyphrases
- model checking
- temporal logic
- computation tree logic
- temporal properties
- bounded model checking
- linear temporal logic
- expert systems
- learning algorithm
- alternating time temporal logic
- transition systems
- symbolic model checking
- minimal change
- computer vision
- epistemic logic
- belief revision
- relational databases
- databases