LAMAS&SR 2022
Logic-based Specification and Verification of Homogeneous Dynamic Multi-agent Systems
Abstract
No abstract is available in the live database for this paper.
Authors
Keywords
No keywords are indexed for this paper.
Context
- Venue
- Logics and Strategic Reasoning in Multi-Agent Systems
- Archive span
- 2021-2024
- Indexed papers
- 50
- Paper id
- 686289764679088244