{"id":"2310.16519","title":"MsATL: a Tool for SAT-Based ATL Satisfiability Checking","url":"https://codeofpaper.com/paper/2310.16519","arxiv_url":"https://arxiv.org/abs/2310.16519","published":"2023-10-25","code":"none","best":null,"most_starred_community":null,"implementations":[],"possible_matches":0}