"A Model Checker for Natural Strategic Ability."

Marco Aruta, Vadim Malvone, Aniello Murano (2024)

Details and statistics

DOI: 10.48550/ARXIV.2410.14374

access: open

type: Informal or Other Publication

metadata version: 2024-11-27