Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleMay 2024
Obstruction Alternating-time Temporal Logic: A Strategic Logic to Reason about Dynamic Models
AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent SystemsPages 271–280Multi-Agent Systems (MAS) operating within dynamic models have been extensively studied in various domains, including cybersecurity and planning. In this paper, we introduce a dedicated logic for analyzing a specific category of MAS that involve ...
- research-articleMay 2024
Strategic Reasoning under Capacity-constrained Agents
AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent SystemsPages 123–131Personality traits, experience level, or physical characteristics can affect the capacity (or profile) of an agent. For instance, a basketball player may be right-handed or left-handed, and these two versions cannot do the same actions. Dribbling past ...