@inproceedings{DBLP:conf/aiia/000123,
  author       = {Angelo Ferrando},
  editor       = {Riccardo De Benedictis and
                  Matteo Castiglioni and
                  Diodato Ferraioli and
                  Vadim Malvone and
                  Marco Maratea and
                  Enrico Scala and
                  Luciano Serafini and
                  Ivan Serina and
                  Elisa Tosello and
                  Alessandro Umbrico and
                  Mauro Vallati},
  title        = {Towards a Coalition Refinement Approach in the Strategic Verification
                  of Multi-Agent Systems},
  booktitle    = {Proceedings of the the 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 {(IPS-RCRA-SPIRIT}
                  2023) co-located with 22nd International Conference of the Italian
                  Association for Artificial Intelligence AIxIA 2023, November 7-9th,
                  2023, Rome, Italy},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3585},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3585/paper21\_SPIRIT11.pdf},
  timestamp    = {Tue, 02 Jan 2024 17:44:44 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/000123.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"pqJ8ivSsosb9RijJQ","bibbaseid":"ferrando-towardsacoalitionrefinementapproachinthestrategicverificationofmultiagentsystems-2023","author_short":["Ferrando, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Angelo"],"propositions":[],"lastnames":["Ferrando"],"suffixes":[]}],"editor":[{"firstnames":["Riccardo","De"],"propositions":[],"lastnames":["Benedictis"],"suffixes":[]},{"firstnames":["Matteo"],"propositions":[],"lastnames":["Castiglioni"],"suffixes":[]},{"firstnames":["Diodato"],"propositions":[],"lastnames":["Ferraioli"],"suffixes":[]},{"firstnames":["Vadim"],"propositions":[],"lastnames":["Malvone"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Maratea"],"suffixes":[]},{"firstnames":["Enrico"],"propositions":[],"lastnames":["Scala"],"suffixes":[]},{"firstnames":["Luciano"],"propositions":[],"lastnames":["Serafini"],"suffixes":[]},{"firstnames":["Ivan"],"propositions":[],"lastnames":["Serina"],"suffixes":[]},{"firstnames":["Elisa"],"propositions":[],"lastnames":["Tosello"],"suffixes":[]},{"firstnames":["Alessandro"],"propositions":[],"lastnames":["Umbrico"],"suffixes":[]},{"firstnames":["Mauro"],"propositions":[],"lastnames":["Vallati"],"suffixes":[]}],"title":"Towards a Coalition Refinement Approach in the Strategic Verification of Multi-Agent Systems","booktitle":"Proceedings of the the 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 (IPS-RCRA-SPIRIT 2023) co-located with 22nd International Conference of the Italian Association for Artificial Intelligence AIxIA 2023, November 7-9th, 2023, Rome, Italy","series":"CEUR Workshop Proceedings","volume":"3585","publisher":"CEUR-WS.org","year":"2023","url":"https://ceur-ws.org/Vol-3585/paper21\\_SPIRIT11.pdf","timestamp":"Tue, 02 Jan 2024 17:44:44 +0100","biburl":"https://dblp.org/rec/conf/aiia/000123.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/aiia/000123,\n author = {Angelo Ferrando},\n editor = {Riccardo De Benedictis and\n Matteo Castiglioni and\n Diodato Ferraioli and\n Vadim Malvone and\n Marco Maratea and\n Enrico Scala and\n Luciano Serafini and\n Ivan Serina and\n Elisa Tosello and\n Alessandro Umbrico and\n Mauro Vallati},\n title = {Towards a Coalition Refinement Approach in the Strategic Verification\n of Multi-Agent Systems},\n booktitle = {Proceedings of the the Italian Workshop on Planning and Scheduling,\n {RCRA} Workshop on Experimental evaluation of algorithms for solving\n problems with combinatorial explosion, and {SPIRIT} Workshop on Strategies,\n Prediction, Interaction, and Reasoning in Italy {(IPS-RCRA-SPIRIT}\n 2023) co-located with 22nd International Conference of the Italian\n Association for Artificial Intelligence AIxIA 2023, November 7-9th,\n 2023, Rome, Italy},\n series = {{CEUR} Workshop Proceedings},\n volume = {3585},\n publisher = {CEUR-WS.org},\n year = {2023},\n url = {https://ceur-ws.org/Vol-3585/paper21\\_SPIRIT11.pdf},\n timestamp = {Tue, 02 Jan 2024 17:44:44 +0100},\n biburl = {https://dblp.org/rec/conf/aiia/000123.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Ferrando, A."],"editor_short":["Benedictis, R. D.","Castiglioni, M.","Ferraioli, D.","Malvone, V.","Maratea, M.","Scala, E.","Serafini, L.","Serina, I.","Tosello, E.","Umbrico, A.","Vallati, M."],"key":"DBLP:conf/aiia/000123","id":"DBLP:conf/aiia/000123","bibbaseid":"ferrando-towardsacoalitionrefinementapproachinthestrategicverificationofmultiagentsystems-2023","role":"author","urls":{"Paper":"https://ceur-ws.org/Vol-3585/paper21\\_SPIRIT11.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/134/9527.bib","dataSources":["jkPac6coMCnfPS9v6","DemJHAtxwifL2qfuu","R5o3TG54ojRn5EMT4","ZEMwcoMYSZFYWJajW","GpdwcjP3cDneQaTbF","N94NEfdRnTcyXcg5P","Mt3To6SuEDqqAnZki","yDhN9JGJxcG56DJKw","5iJsrxNL2p3x5acur"],"keywords":[],"search_terms":["towards","coalition","refinement","approach","strategic","verification","multi","agent","systems","ferrando"],"title":"Towards a Coalition Refinement Approach in the Strategic Verification of Multi-Agent Systems","year":2023}