Keyphrases
- temporal logic
- model checking
- linear temporal logic
- distributed systems
- cooperative
- deterministic automata
- multi agent
- access control
- bounded model checking
- peer to peer
- multi robot systems
- distributed agents
- linear time temporal logic
- dynamic programming
- search space
- reinforcement learning
- modal logic
- bayesian networks
- digital rights
- databases