{"version.version":"0.0.7","version.cm_url":"https://github.com/ceurws/ceur-spt","spt.html_url":"/Vol-3883/paper4_SPIRIT_Ferrando.html","spt.description":null,"spt.id":"Vol-3883/paper4_SPIRIT_Ferrando","spt.wikidataid":null,"spt.title":"Towards a Compositional and User-friendly Tool for Multi-Agent Systems Verification (short paper)","spt.pdfUrl":"https://ceur-ws.org/Vol-3883/paper4_SPIRIT_Ferrando.pdf","spt.volume":{"number":3883,"acronym":"AI4CC-IPS-RCRA-SPIRIT 2024","wikidataid":"Q131677329","title":"Proceedings of the International Workshop on Artificial Intelligence for Climate Change, Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (AI4CC-IPS-RCRA-SPIRIT 2024)","description":"Proceedings of AI4CC-IPS-RCRA-SPIRIT 2024 workshop","url":"http://ceur-ws.org/Vol-3883/","date":"2024-12-24","dblp":null,"k10plus":null,"urn":"urn:nbn:de:0074-3883-1"},"spt.session":null,"cvb.id":"Vol-3883/paper4_SPIRIT_Ferrando","cvb.title":"Towards a Compositional and User-friendly Tool for Multi-Agent Systems Verification (short paper)","cvb.type":null,"cvb.position":null,"cvb.pagesFrom":null,"cvb.pagesTo":null,"cvb.authors":"Angelo Ferrando,Vadim Malvone","cvb.vol_number":"3883","cvb.pdf_name":"paper4_SPIRIT_Ferrando.pdf","cvb.pages":null,"cvb.fail":null,"dblp.dblp_publication_id":"https://dblp.org/rec/conf/rcra/0001M24","dblp.dblp_proceeding_id":"https://dblp.org/rec/conf/rcra/2024","dblp.volume_number":3883,"dblp.title":"Towards a Compositional and User-friendly Tool for Multi-Agent Systems Verification (short paper).","dblp.authors":[{"dblp_author_id":"https://dblp.org/pid/134/9527","label":"Angelo Ferrando 0001","wikidata_id":null,"orcid_id":"0000-0002-8711-4670","gnd_id":null},{"dblp_author_id":"https://dblp.org/pid/169/0382","label":"Vadim Malvone","wikidata_id":null,"orcid_id":"0000-0001-6138-4229","gnd_id":null}],"dblp.pdf_id":"Vol-3883/paper4_SPIRIT_Ferrando"}