Keyphrases
- timed automata
- model checking
- multi agent systems
- reachability analysis
- temporal logic
- formal verification
- multi agent
- cooperative
- verification method
- first order logic
- probabilistic model
- probabilistic reasoning
- intelligent agents
- bayesian networks
- probabilistic logic
- agent architecture
- theorem prover
- real time
- data driven
- data sets
- software agents
- autonomous agents
- generative model
- reinforcement learning
- bdi agents
- asynchronous circuits
- machine learning
- database
- distributed multi agent systems