Keyphrases
- model checking
- temporal logic
- symbolic model checking
- multi agent systems
- model checker
- temporal knowledge
- transition systems
- formal verification
- mazurkiewicz traces
- modal logic
- cooperative
- knowledge acquisition
- concurrent systems
- knowledge base
- satisfiability problem
- expert systems
- finite state
- knowledge based systems
- linear time temporal logic
- multi agent