Arrow Research search
Back to LAMAS&SR

LAMAS&SR 2021

Towards Specification of Requirements for COVID-19 Mitigation Strategies

Workshop Paper Accepted Extended Abstract Artificial Intelligence · Formal Methods · Logic in Computer Science · 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
747923253020771914