Can We Communicate? Using Dynamic Logic to Verify Team Automata.
Maurice H. ter BeekGuillermina CledouRolf HennickerJosé ProençaPublished in: FM (2023)
Keyphrases
- dynamic logic
- modal logic
- imperative programs
- propositional dynamic logic
- reasoning about actions
- cellular automata
- multi dimensional
- probabilistic automata
- classical first order logic
- multiple input
- finite automata
- team members
- first order logic
- robot soccer
- share information
- cooperating agents
- relational databases
- description logics