@inproceedings{DBLP:conf/aiia/0001M22,
  author       = {Angelo Ferrando and
                  Vadim Malvone},
  editor       = {Riccardo De Benedictis and
                  Nicola Gatti and
                  Marco Maratea and
                  Andrea Micheli and
                  Aniello Murano and
                  Enrico Scala and
                  Luciano Serafini and
                  Ivan Serina and
                  Alessandro Umbrico and
                  Mauro Vallati},
  title        = {Give Me a Hand: How to Use Model Checking for Multi-Agent Systems
                  to Help Runtime Verification and Vice Versa (Short Paper)},
  booktitle    = {Proceedings of the 10th Italian workshop on Planning and Scheduling
                  {(IPS} 2022), {RCRA} Incontri {E} Confronti (RiCeRcA 2022), and the
                  workshop on Strategies, Prediction, Interaction, and Reasoning in
                  Italy {(SPIRIT} 2022) co-located with 21st International Conference
                  of the Italian Association for Artificial Intelligence (AIxIA 2022),
                  November 28 - December 2, 2022, University of Udine, Udine, Italy},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3345},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3345/paper16\_Spirit5.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:01 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/0001M22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"gM5uC2uP5BkpmMwqR","bibbaseid":"ferrando-malvone-givemeahandhowtousemodelcheckingformultiagentsystemstohelpruntimeverificationandviceversashortpaper-2022","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":["Riccardo","De"],"propositions":[],"lastnames":["Benedictis"],"suffixes":[]},{"firstnames":["Nicola"],"propositions":[],"lastnames":["Gatti"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Maratea"],"suffixes":[]},{"firstnames":["Andrea"],"propositions":[],"lastnames":["Micheli"],"suffixes":[]},{"firstnames":["Aniello"],"propositions":[],"lastnames":["Murano"],"suffixes":[]},{"firstnames":["Enrico"],"propositions":[],"lastnames":["Scala"],"suffixes":[]},{"firstnames":["Luciano"],"propositions":[],"lastnames":["Serafini"],"suffixes":[]},{"firstnames":["Ivan"],"propositions":[],"lastnames":["Serina"],"suffixes":[]},{"firstnames":["Alessandro"],"propositions":[],"lastnames":["Umbrico"],"suffixes":[]},{"firstnames":["Mauro"],"propositions":[],"lastnames":["Vallati"],"suffixes":[]}],"title":"Give Me a Hand: How to Use Model Checking for Multi-Agent Systems to Help Runtime Verification and Vice Versa (Short Paper)","booktitle":"Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28 - December 2, 2022, University of Udine, Udine, Italy","series":"CEUR Workshop Proceedings","volume":"3345","publisher":"CEUR-WS.org","year":"2022","url":"https://ceur-ws.org/Vol-3345/paper16\\_Spirit5.pdf","timestamp":"Fri, 10 Mar 2023 16:23:01 +0100","biburl":"https://dblp.org/rec/conf/aiia/0001M22.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/aiia/0001M22,\n author = {Angelo Ferrando and\n Vadim Malvone},\n editor = {Riccardo De Benedictis and\n Nicola Gatti and\n Marco Maratea and\n Andrea Micheli and\n Aniello Murano and\n Enrico Scala and\n Luciano Serafini and\n Ivan Serina and\n Alessandro Umbrico and\n Mauro Vallati},\n title = {Give Me a Hand: How to Use Model Checking for Multi-Agent Systems\n to Help Runtime Verification and Vice Versa (Short Paper)},\n booktitle = {Proceedings of the 10th Italian workshop on Planning and Scheduling\n {(IPS} 2022), {RCRA} Incontri {E} Confronti (RiCeRcA 2022), and the\n workshop on Strategies, Prediction, Interaction, and Reasoning in\n Italy {(SPIRIT} 2022) co-located with 21st International Conference\n of the Italian Association for Artificial Intelligence (AIxIA 2022),\n November 28 - December 2, 2022, University of Udine, Udine, Italy},\n series = {{CEUR} Workshop Proceedings},\n volume = {3345},\n publisher = {CEUR-WS.org},\n year = {2022},\n url = {https://ceur-ws.org/Vol-3345/paper16\\_Spirit5.pdf},\n timestamp = {Fri, 10 Mar 2023 16:23:01 +0100},\n biburl = {https://dblp.org/rec/conf/aiia/0001M22.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Ferrando, A.","Malvone, V."],"editor_short":["Benedictis, R. D.","Gatti, N.","Maratea, M.","Micheli, A.","Murano, A.","Scala, E.","Serafini, L.","Serina, I.","Umbrico, A.","Vallati, M."],"key":"DBLP:conf/aiia/0001M22","id":"DBLP:conf/aiia/0001M22","bibbaseid":"ferrando-malvone-givemeahandhowtousemodelcheckingformultiagentsystemstohelpruntimeverificationandviceversashortpaper-2022","role":"author","urls":{"Paper":"https://ceur-ws.org/Vol-3345/paper16\\_Spirit5.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":["give","hand","use","model","checking","multi","agent","systems","help","runtime","verification","vice","versa","short","paper","ferrando","malvone"],"title":"Give Me a Hand: How to Use Model Checking for Multi-Agent Systems to Help Runtime Verification and Vice Versa (Short Paper)","year":2022}