Program Semantics and a Verification Technique for Knowledge-Based Multi-Agent Systems.
Francesco BelardinelliIoana BoureanuVadim MalvoneSolofomampionona Fortunat RajaonaPublished in: CoRR (2022)
Keyphrases
- multi agent systems
- symbolic execution
- semantically equivalent
- epistemic logic
- specification language
- intended meaning
- multi agent
- hardware designs
- expert systems
- agent systems
- formal semantics
- cooperative
- face verification
- game theory
- model checking
- control flow
- test generation
- agent technology
- stable model semantics
- software agents
- test cases
- petri net
- agent platform
- multiagent systems
- concurrent systems
- distributed problem solving
- agent communication
- conceptual model
- temporal logic
- static analysis
- agent architecture
- computer programs