{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T09:49:23Z","timestamp":1747216163249,"version":"3.40.5"},"reference-count":0,"publisher":"IOS Press","isbn-type":[{"type":"electronic","value":"9781643685489"}],"license":[{"start":{"date-parts":[[2024,10,16]],"date-time":"2024-10-16T00:00:00Z","timestamp":1729036800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,10,16]]},"abstract":"<jats:p>In this paper, we present a substantially enhanced version of our software tool STV (STrategic Verifier), dedicated to strategy synthesis and model checking of strategic abilities in multi-agent systems. The new extension, called STV+FLY, incorporates an advanced strategy synthesis algorithm that enables model checking with on-the-fly generation of the global model. This innovative approach allows for the verification of some strategic properties without generating the entire global state space, thus avoiding an important bottleneck and significantly improving the efficiency.<\/jats:p>","DOI":"10.3233\/faia241035","type":"book-chapter","created":{"date-parts":[[2024,10,17]],"date-time":"2024-10-17T13:58:15Z","timestamp":1729173495000},"source":"Crossref","is-referenced-by-count":0,"title":["STV+FLY: On-the-Fly Model Checking of Strategic Ability in Multi-Agent Systems"],"prefix":"10.3233","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9427-2909","authenticated-orcid":false,"given":"Damian","family":"Kurpiewski","sequence":"first","affiliation":[{"name":"Institute of Computer Science, Polish Academy of Sciences"},{"name":"Faculty of Mathematics and Computer Science, Nicolaus Copernicus University in Toru\u0144"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-5617-8959","authenticated-orcid":false,"given":"Mateusz","family":"Kami\u0144ski","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, Polish Academy of Sciences"},{"name":"Faculty of Mathematics and Computer Science, Nicolaus Copernicus University in Toru\u0144"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6340-8845","authenticated-orcid":false,"given":"Wojciech","family":"Jamroga","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, Polish Academy of Sciences"},{"name":"Interdisciplinary Centre for Security, Reliability and Trust, SnT, University of Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7437","container-title":["Frontiers in Artificial Intelligence and Applications","ECAI 2024"],"original-title":[],"link":[{"URL":"https:\/\/ebooks.iospress.nl\/pdf\/doi\/10.3233\/FAIA241035","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,17]],"date-time":"2024-10-17T13:58:15Z","timestamp":1729173495000},"score":1,"resource":{"primary":{"URL":"https:\/\/ebooks.iospress.nl\/doi\/10.3233\/FAIA241035"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,16]]},"ISBN":["9781643685489"],"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/faia241035","relation":{},"ISSN":["0922-6389","1879-8314"],"issn-type":[{"type":"print","value":"0922-6389"},{"type":"electronic","value":"1879-8314"}],"subject":[],"published":{"date-parts":[[2024,10,16]]}}}