HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems.
Raven BeutnerBernd FinkbeinerPublished in: Log. Methods Comput. Sci. (2023)
Keyphrases
- multi agent systems
- computational logic
- normative systems
- coalition logic
- epistemic logic
- autonomous agents
- logical framework
- agent systems
- multi agent
- game theory
- modal logic
- classical logic
- intelligent agents
- agent architecture
- logic programming
- agent oriented
- coalition formation
- agent platform
- agent technology
- asynchronous circuits
- modal operators
- automated reasoning
- predicate logic
- set theory
- defeasible logic
- database
- dynamic environments
- artificial intelligence
- learning algorithm