MsATL: a Tool for SAT-Based ATL Satisfiability Checking

The International Foundation for Autonomous Agents and Multiagent Systems 2020; Jamroga; Wojciech; Kacprzak Bialystok; Magdalena; Knapik; Michał; Kurpiewski; Damian; Niewiadomski; Artur; Penczek; Wojciech

doi:10.48448/x8f2-1m70

MsATL: a Tool for SAT-Based ATL Satisfiability Checking

Identifier:nobleid.org/w1/20260515/FD394ECF

Type:Journal Article

0 views

Support unavailableClaim Your Authorship

View Original Paper Source

Embeddable Badge

[![NobleID](https://www.nobleid.org/api/badge/FD394ECF.svg?ark=w1%2F20260515%2FFD394ECF)](https://nobleid.org/work/w1/20260515/FD394ECF)

ARK Inflections

Metadata Policy

Metadata Formats

Bibliometric Analysis

Impact metrics, research fronts, co-authorship networks →

Authors & Claims

Paper Authors

The International Foundation for Autonomous Agents and Multiagent Systems 2020

Claim authorship of this work

MsATL: a Tool for SAT-Based ATL Satisfiability Checking

Identifier:nobleid.org/w1/20260515/FD394ECF

Type:Journal Article

0 views

Support unavailableClaim Your Authorship

View Original Paper Source

Embeddable Badge

[![NobleID](https://www.nobleid.org/api/badge/FD394ECF.svg?ark=w1%2F20260515%2FFD394ECF)](https://nobleid.org/work/w1/20260515/FD394ECF)

ARK Inflections

Metadata Policy

Metadata Formats

Bibliometric Analysis

Impact metrics, research fronts, co-authorship networks →

Authors & Claims

Paper Authors

The International Foundation for Autonomous Agents and Multiagent Systems 2020

Claim authorship of this work