@inproceedings{DBLP:conf/rcra/0001M24,
  author       = {Angelo Ferrando and
                  Vadim Malvone},
  editor       = {Diego Aineto and
                  Riccardo De Benedictis and
                  Marco Maratea and
                  Munyque Mittelmann and
                  Gianpiero Monaco and
                  Enrico Scala and
                  Luciano Serafini and
                  Ivan Serina and
                  Francesco Spegni and
                  Elisa Tosello and
                  Alessandro Umbrico and
                  Mauro Vallati},
  title        = {Towards a Compositional and User-friendly Tool for Multi-Agent Systems
                  Verification (short paper)},
  booktitle    = {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) co-located with 23rd International Conference of the Italian
                  Association for Artificial Intelligence AIxIA 2024, November 25-28th,
                  2024, Bolzano, Italy},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3883},
  publisher    = {CEUR-WS.org},
  year         = {2024},
  url          = {https://ceur-ws.org/Vol-3883/paper4\_SPIRIT\_Ferrando.pdf},
  timestamp    = {Thu, 16 Jan 2025 17:14:33 +0100},
  biburl       = {https://dblp.org/rec/conf/rcra/0001M24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"d9oxQxLuDy8tWuZmy","bibbaseid":"ferrando-malvone-towardsacompositionalanduserfriendlytoolformultiagentsystemsverificationshortpaper-2024","author_short":["Ferrando, A.","Malvone, V."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Angelo"],"propositions":[],"lastnames":["Ferrando"],"suffixes":[]},{"firstnames":["Vadim"],"propositions":[],"lastnames":["Malvone"],"suffixes":[]}],"editor":[{"firstnames":["Diego"],"propositions":[],"lastnames":["Aineto"],"suffixes":[]},{"firstnames":["Riccardo","De"],"propositions":[],"lastnames":["Benedictis"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Maratea"],"suffixes":[]},{"firstnames":["Munyque"],"propositions":[],"lastnames":["Mittelmann"],"suffixes":[]},{"firstnames":["Gianpiero"],"propositions":[],"lastnames":["Monaco"],"suffixes":[]},{"firstnames":["Enrico"],"propositions":[],"lastnames":["Scala"],"suffixes":[]},{"firstnames":["Luciano"],"propositions":[],"lastnames":["Serafini"],"suffixes":[]},{"firstnames":["Ivan"],"propositions":[],"lastnames":["Serina"],"suffixes":[]},{"firstnames":["Francesco"],"propositions":[],"lastnames":["Spegni"],"suffixes":[]},{"firstnames":["Elisa"],"propositions":[],"lastnames":["Tosello"],"suffixes":[]},{"firstnames":["Alessandro"],"propositions":[],"lastnames":["Umbrico"],"suffixes":[]},{"firstnames":["Mauro"],"propositions":[],"lastnames":["Vallati"],"suffixes":[]}],"title":"Towards a Compositional and User-friendly Tool for Multi-Agent Systems Verification (short paper)","booktitle":"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) co-located with 23rd International Conference of the Italian Association for Artificial Intelligence AIxIA 2024, November 25-28th, 2024, Bolzano, Italy","series":"CEUR Workshop Proceedings","volume":"3883","publisher":"CEUR-WS.org","year":"2024","url":"https://ceur-ws.org/Vol-3883/paper4\\_SPIRIT\\_Ferrando.pdf","timestamp":"Thu, 16 Jan 2025 17:14:33 +0100","biburl":"https://dblp.org/rec/conf/rcra/0001M24.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/rcra/0001M24,\n author = {Angelo Ferrando and\n Vadim Malvone},\n editor = {Diego Aineto and\n Riccardo De Benedictis and\n Marco Maratea and\n Munyque Mittelmann and\n Gianpiero Monaco and\n Enrico Scala and\n Luciano Serafini and\n Ivan Serina and\n Francesco Spegni and\n Elisa Tosello and\n Alessandro Umbrico and\n Mauro Vallati},\n title = {Towards a Compositional and User-friendly Tool for Multi-Agent Systems\n Verification (short paper)},\n booktitle = {Proceedings of the International Workshop on Artificial Intelligence\n for Climate Change, Italian Workshop on Planning and Scheduling, {RCRA}\n Workshop on Experimental evaluation of algorithms for solving problems\n with combinatorial explosion, and {SPIRIT} Workshop on Strategies,\n Prediction, Interaction, and Reasoning in Italy {(AI4CC-IPS-RCRA-SPIRIT}\n 2024) co-located with 23rd International Conference of the Italian\n Association for Artificial Intelligence AIxIA 2024, November 25-28th,\n 2024, Bolzano, Italy},\n series = {{CEUR} Workshop Proceedings},\n volume = {3883},\n publisher = {CEUR-WS.org},\n year = {2024},\n url = {https://ceur-ws.org/Vol-3883/paper4\\_SPIRIT\\_Ferrando.pdf},\n timestamp = {Thu, 16 Jan 2025 17:14:33 +0100},\n biburl = {https://dblp.org/rec/conf/rcra/0001M24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Ferrando, A.","Malvone, V."],"editor_short":["Aineto, D.","Benedictis, R. D.","Maratea, M.","Mittelmann, M.","Monaco, G.","Scala, E.","Serafini, L.","Serina, I.","Spegni, F.","Tosello, E.","Umbrico, A.","Vallati, M."],"key":"DBLP:conf/rcra/0001M24","id":"DBLP:conf/rcra/0001M24","bibbaseid":"ferrando-malvone-towardsacompositionalanduserfriendlytoolformultiagentsystemsverificationshortpaper-2024","role":"author","urls":{"Paper":"https://ceur-ws.org/Vol-3883/paper4\\_SPIRIT\\_Ferrando.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/134/9527.bib","dataSources":["jkPac6coMCnfPS9v6"],"keywords":[],"search_terms":["towards","compositional","user","friendly","tool","multi","agent","systems","verification","short","paper","ferrando","malvone"],"title":"Towards a Compositional and User-friendly Tool for Multi-Agent Systems Verification (short paper)","year":2024}