v1
MsATL: a Tool for SAT-Based ATL Satisfiability Checking
Identifier:nobleid.org/w1/20260515/FD394ECF
Type:Journal Article
0 views
Embeddable Badge
[](https://nobleid.org/work/w1/20260515/FD394ECF)
Bibliometric Analysis
Impact metrics, research fronts, co-authorship networks →