Obstruction Alternating-time Temporal Logic: A Strategic Logic to Reason about Dynamic Models

Open Webpage

Davide Catta, Jean Leneutre, Vadim Malvone, Aniello Murano

Published: 01 Jan 2024, Last Modified: 15 May 2025AAMAS 2024EveryoneRevisionsBibTeXCC BY-SA 4.0