\n \n \n
\n\n\n
\n
\n\n \n \n \n \n \n \n Special issue for the 23rd workshop \"from objects to agents\" (WOA 2022).\n \n \n \n \n\n\n \n Angelo Ferrando; and Viviana Mascardi.\n\n\n \n\n\n\n
Intelligenza Artificiale, 17(1): 3–5. 2023.\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{DBLP:journals/ia/FerrandoM23,\n author = {Angelo Ferrando and\n Viviana Mascardi},\n title = {Special issue for the 23rd workshop "from objects to agents" {(WOA}\n 2022)},\n journal = {Intelligenza Artificiale},\n volume = {17},\n number = {1},\n pages = {3--5},\n year = {2023},\n url = {https://doi.org/10.3233/IA-230015},\n doi = {10.3233/IA-230015},\n timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/ia/FerrandoM23.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Incrementally predictive runtime verification.\n \n \n \n \n\n\n \n Angelo Ferrando; and Giorgio Delzanno.\n\n\n \n\n\n\n
J. Log. Comput., 33(4): 796–817. 2023.\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{DBLP:journals/logcom/FerrandoD23,\n author = {Angelo Ferrando and\n Giorgio Delzanno},\n title = {Incrementally predictive runtime verification},\n journal = {J. Log. Comput.},\n volume = {33},\n number = {4},\n pages = {796--817},\n year = {2023},\n url = {https://doi.org/10.1093/logcom/exad012},\n doi = {10.1093/LOGCOM/EXAD012},\n timestamp = {Tue, 18 Jul 2023 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/logcom/FerrandoD23.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n RV4JaCa - Towards Runtime Verification of Multi-Agent Systems and Robotic Applications.\n \n \n \n \n\n\n \n Débora C. Engelmann; Angelo Ferrando; Alison R. Panisson; Davide Ancona; Rafael H. Bordini; and Viviana Mascardi.\n\n\n \n\n\n\n
Robotics, 12(2): 49. 2023.\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{DBLP:journals/robotics/EngelmannFPABM23,\n author = {D{\\'{e}}bora C. Engelmann and\n Angelo Ferrando and\n Alison R. Panisson and\n Davide Ancona and\n Rafael H. Bordini and\n Viviana Mascardi},\n title = {RV4JaCa - Towards Runtime Verification of Multi-Agent Systems and\n Robotic Applications},\n journal = {Robotics},\n volume = {12},\n number = {2},\n pages = {49},\n year = {2023},\n url = {https://doi.org/10.3390/robotics12020049},\n doi = {10.3390/ROBOTICS12020049},\n timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/robotics/EngelmannFPABM23.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Towards a Coalition Refinement Approach in the Strategic Verification of Multi-Agent Systems.\n \n \n \n \n\n\n \n Angelo Ferrando.\n\n\n \n\n\n\n In Riccardo De Benedictis; Matteo Castiglioni; Diodato Ferraioli; Vadim Malvone; Marco Maratea; Enrico Scala; Luciano Serafini; Ivan Serina; Elisa Tosello; Alessandro Umbrico; and Mauro Vallati., editor(s),
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, volume 3585, of
CEUR Workshop Proceedings, 2023. CEUR-WS.org\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@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
\n
\n\n\n\n
\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Failure Handling in BDI Plans via Runtime Enforcement.\n \n \n \n \n\n\n \n Angelo Ferrando; and Rafael C. Cardoso.\n\n\n \n\n\n\n In Kobi Gal; Ann Nowé; Grzegorz J. Nalepa; Roy Fairstein; and Roxana Radulescu., editor(s),
ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023), volume 372, of
Frontiers in Artificial Intelligence and Applications, pages 716–723, 2023. IOS Press\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/ecai/0001023,\n author = {Angelo Ferrando and\n Rafael C. Cardoso},\n editor = {Kobi Gal and\n Ann Now{\\'{e}} and\n Grzegorz J. Nalepa and\n Roy Fairstein and\n Roxana Radulescu},\n title = {Failure Handling in {BDI} Plans via Runtime Enforcement},\n booktitle = {{ECAI} 2023 - 26th European Conference on Artificial Intelligence,\n September 30 - October 4, 2023, Krak{\\'{o}}w, Poland - Including 12th\n Conference on Prestigious Applications of Intelligent Systems {(PAIS}\n 2023)},\n series = {Frontiers in Artificial Intelligence and Applications},\n volume = {372},\n pages = {716--723},\n publisher = {{IOS} Press},\n year = {2023},\n url = {https://doi.org/10.3233/FAIA230336},\n doi = {10.3233/FAIA230336},\n timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/ecai/0001023.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Towards Forward Responsibility in BDI Agents.\n \n \n \n \n\n\n \n Rafael C. Cardoso; Angelo Ferrando; Joe Collenette; Louise A. Dennis; and Michael Fisher.\n\n\n \n\n\n\n In Andrei Ciortea; Mehdi Dastani; and Jieting Luo., editor(s),
Engineering Multi-Agent Systems - 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023, Revised Selected Papers, volume 14378, of
Lecture Notes in Computer Science, pages 3–22, 2023. Springer\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/emas/CardosoFCDF23,\n author = {Rafael C. Cardoso and\n Angelo Ferrando and\n Joe Collenette and\n Louise A. Dennis and\n Michael Fisher},\n editor = {Andrei Ciortea and\n Mehdi Dastani and\n Jieting Luo},\n title = {Towards Forward Responsibility in {BDI} Agents},\n booktitle = {Engineering Multi-Agent Systems - 11th International Workshop, {EMAS}\n 2023, London, UK, May 29-30, 2023, Revised Selected Papers},\n series = {Lecture Notes in Computer Science},\n volume = {14378},\n pages = {3--22},\n publisher = {Springer},\n year = {2023},\n url = {https://doi.org/10.1007/978-3-031-48539-8\\_1},\n doi = {10.1007/978-3-031-48539-8\\_1},\n timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/emas/CardosoFCDF23.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Fantastic MASs and Where to Find Them: First Results and Lesson Learned.\n \n \n \n \n\n\n \n Daniela Briola; Angelo Ferrando; and Viviana Mascardi.\n\n\n \n\n\n\n In Andrei Ciortea; Mehdi Dastani; and Jieting Luo., editor(s),
Engineering Multi-Agent Systems - 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023, Revised Selected Papers, volume 14378, of
Lecture Notes in Computer Science, pages 233–252, 2023. Springer\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/emas/BriolaFM23,\n author = {Daniela Briola and\n Angelo Ferrando and\n Viviana Mascardi},\n editor = {Andrei Ciortea and\n Mehdi Dastani and\n Jieting Luo},\n title = {Fantastic MASs and Where to Find Them: First Results and Lesson Learned},\n booktitle = {Engineering Multi-Agent Systems - 11th International Workshop, {EMAS}\n 2023, London, UK, May 29-30, 2023, Revised Selected Papers},\n series = {Lecture Notes in Computer Science},\n volume = {14378},\n pages = {233--252},\n publisher = {Springer},\n year = {2023},\n url = {https://doi.org/10.1007/978-3-031-48539-8\\_16},\n doi = {10.1007/978-3-031-48539-8\\_16},\n timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/emas/BriolaFM23.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Integrating Ontologies and Cognitive Conversational Agents in On2Conv.\n \n \n \n \n\n\n \n Zeinab Namakizadeh Esfahani; Débora Cristina Engelmann; Angelo Ferrando; Massimiliano Margarone; and Viviana Mascardi.\n\n\n \n\n\n\n In Vadim Malvone; and Aniello Murano., editor(s),
Multi-Agent Systems - 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings, volume 14282, of
Lecture Notes in Computer Science, pages 66–82, 2023. Springer\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/eumas/EsfahaniEFMM23,\n author = {Zeinab Namakizadeh Esfahani and\n D{\\'{e}}bora Cristina Engelmann and\n Angelo Ferrando and\n Massimiliano Margarone and\n Viviana Mascardi},\n editor = {Vadim Malvone and\n Aniello Murano},\n title = {Integrating Ontologies and Cognitive Conversational Agents in On2Conv},\n booktitle = {Multi-Agent Systems - 20th European Conference, {EUMAS} 2023, Naples,\n Italy, September 14-15, 2023, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {14282},\n pages = {66--82},\n publisher = {Springer},\n year = {2023},\n url = {https://doi.org/10.1007/978-3-031-43264-4\\_5},\n doi = {10.1007/978-3-031-43264-4\\_5},\n timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/eumas/EsfahaniEFMM23.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Using a BDI Agent to Represent a Human on the Factory Floor of the ARIAC 2023 Industrial Automation Competition.\n \n \n \n \n\n\n \n Leandro Buss Becker; Anthony Downs; Craig Schlenoff; Justin Albrecht; Zeid Kootbally; Angelo Ferrando; Rafael C. Cardoso; and Michael Fisher.\n\n\n \n\n\n\n In Vadim Malvone; and Aniello Murano., editor(s),
Multi-Agent Systems - 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings, volume 14282, of
Lecture Notes in Computer Science, pages 214–227, 2023. Springer\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/eumas/BeckerDSAKFCF23,\n author = {Leandro Buss Becker and\n Anthony Downs and\n Craig Schlenoff and\n Justin Albrecht and\n Zeid Kootbally and\n Angelo Ferrando and\n Rafael C. Cardoso and\n Michael Fisher},\n editor = {Vadim Malvone and\n Aniello Murano},\n title = {Using a {BDI} Agent to Represent a Human on the Factory Floor of the\n {ARIAC} 2023 Industrial Automation Competition},\n booktitle = {Multi-Agent Systems - 20th European Conference, {EUMAS} 2023, Naples,\n Italy, September 14-15, 2023, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {14282},\n pages = {214--227},\n publisher = {Springer},\n year = {2023},\n url = {https://doi.org/10.1007/978-3-031-43264-4\\_14},\n doi = {10.1007/978-3-031-43264-4\\_14},\n timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/eumas/BeckerDSAKFCF23.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n AGAMAS: A New Agent-Oriented Traffic Simulation Framework for SUMO.\n \n \n \n \n\n\n \n Mahyar Sadeghi Garjan; Tommy Chaanine; Cecilia Pasquale; Vito Paolo Pastore; and Angelo Ferrando.\n\n\n \n\n\n\n In Vadim Malvone; and Aniello Murano., editor(s),
Multi-Agent Systems - 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings, volume 14282, of
Lecture Notes in Computer Science, pages 396–405, 2023. Springer\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/eumas/GarjanCPPF23,\n author = {Mahyar Sadeghi Garjan and\n Tommy Chaanine and\n Cecilia Pasquale and\n Vito Paolo Pastore and\n Angelo Ferrando},\n editor = {Vadim Malvone and\n Aniello Murano},\n title = {{AGAMAS:} {A} New Agent-Oriented Traffic Simulation Framework for\n {SUMO}},\n booktitle = {Multi-Agent Systems - 20th European Conference, {EUMAS} 2023, Naples,\n Italy, September 14-15, 2023, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {14282},\n pages = {396--405},\n publisher = {Springer},\n year = {2023},\n url = {https://doi.org/10.1007/978-3-031-43264-4\\_25},\n doi = {10.1007/978-3-031-43264-4\\_25},\n timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/eumas/GarjanCPPF23.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Runtime Verification of Hash Code in Mutable Classes.\n \n \n \n \n\n\n \n Davide Ancona; Angelo Ferrando; and Viviana Mascardi.\n\n\n \n\n\n\n In Aaron Tomb., editor(s),
Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023, pages 25–31, 2023. ACM\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/ftfjp/Ancona0M23,\n author = {Davide Ancona and\n Angelo Ferrando and\n Viviana Mascardi},\n editor = {Aaron Tomb},\n title = {Runtime Verification of Hash Code in Mutable Classes},\n booktitle = {Proceedings of the 25th {ACM} International Workshop on Formal Techniques\n for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023},\n pages = {25--31},\n publisher = {{ACM}},\n year = {2023},\n url = {https://doi.org/10.1145/3605156.3606452},\n doi = {10.1145/3605156.3606452},\n timestamp = {Mon, 17 Jul 2023 13:06:47 +0200},\n biburl = {https://dblp.org/rec/conf/ftfjp/Ancona0M23.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Coalition Alternating-Time Temporal Logic: A Logic to Find Good Coalitions to Achieve Strategic Objectives.\n \n \n \n \n\n\n \n Davide Catta; Angelo Ferrando; and Vadim Malvone.\n\n\n \n\n\n\n In Ana Paula Rocha; Luc Steels; and H. Jaap Herik., editor(s),
Agents and Artificial Intelligence - 15th International Conference, ICAART 2023, Lisbon, Portugal, February 22-24, 2023, Revised Selected Papers, volume 14546, of
Lecture Notes in Computer Science, pages 72–94, 2023. Springer\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/icaart/CattaFM23,\n author = {Davide Catta and\n Angelo Ferrando and\n Vadim Malvone},\n editor = {Ana Paula Rocha and\n Luc Steels and\n H. Jaap van den Herik},\n title = {Coalition Alternating-Time Temporal Logic: {A} Logic to Find Good\n Coalitions to Achieve Strategic Objectives},\n booktitle = {Agents and Artificial Intelligence - 15th International Conference,\n {ICAART} 2023, Lisbon, Portugal, February 22-24, 2023, Revised Selected\n Papers},\n series = {Lecture Notes in Computer Science},\n volume = {14546},\n pages = {72--94},\n publisher = {Springer},\n year = {2023},\n url = {https://doi.org/10.1007/978-3-031-55326-4\\_4},\n doi = {10.1007/978-3-031-55326-4\\_4},\n timestamp = {Mon, 25 Mar 2024 20:43:52 +0100},\n biburl = {https://dblp.org/rec/conf/icaart/CattaFM23.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n How to Find Good Coalitions to Achieve Strategic Objectives.\n \n \n \n \n\n\n \n Angelo Ferrando; and Vadim Malvone.\n\n\n \n\n\n\n In Ana Paula Rocha; Luc Steels; and H. Jaap Herik., editor(s),
Proceedings of the 15th International Conference on Agents and Artificial Intelligence, ICAART 2023, Volume 1, Lisbon, Portugal, February 22-24, 2023, pages 105–113, 2023. SCITEPRESS\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/icaart/0001M23,\n author = {Angelo Ferrando and\n Vadim Malvone},\n editor = {Ana Paula Rocha and\n Luc Steels and\n H. Jaap van den Herik},\n title = {How to Find Good Coalitions to Achieve Strategic Objectives},\n booktitle = {Proceedings of the 15th International Conference on Agents and Artificial\n Intelligence, {ICAART} 2023, Volume 1, Lisbon, Portugal, February\n 22-24, 2023},\n pages = {105--113},\n publisher = {{SCITEPRESS}},\n year = {2023},\n url = {https://doi.org/10.5220/0011778700003393},\n doi = {10.5220/0011778700003393},\n timestamp = {Tue, 09 May 2023 16:56:35 +0200},\n biburl = {https://dblp.org/rec/conf/icaart/0001M23.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Scalable Verification of Strategy Logic through Three-Valued Abstraction.\n \n \n \n \n\n\n \n Francesco Belardinelli; Angelo Ferrando; Wojciech Jamroga; Vadim Malvone; and Aniello Murano.\n\n\n \n\n\n\n In
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China, pages 46–54, 2023. ijcai.org\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/ijcai/Belardinelli0JM23,\n author = {Francesco Belardinelli and\n Angelo Ferrando and\n Wojciech Jamroga and\n Vadim Malvone and\n Aniello Murano},\n title = {Scalable Verification of Strategy Logic through Three-Valued Abstraction},\n booktitle = {Proceedings of the Thirty-Second International Joint Conference on\n Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,\n SAR, China},\n pages = {46--54},\n publisher = {ijcai.org},\n year = {2023},\n url = {https://doi.org/10.24963/ijcai.2023/6},\n doi = {10.24963/IJCAI.2023/6},\n timestamp = {Mon, 28 Aug 2023 17:23:07 +0200},\n biburl = {https://dblp.org/rec/conf/ijcai/Belardinelli0JM23.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n A Control-Oriented Highway Traffic Model with Multiple Clusters of CAVs.\n \n \n \n \n\n\n \n Tommy Chaanine; Angelo Ferrando; C. Pasquale; Vito Paolo Pastore; Mahyar Sadeghi Garjan; and S. Siri.\n\n\n \n\n\n\n In
25th IEEE International Conference on Intelligent Transportation Systems, ITSC 2022, Macau, China, October 8-12, 2022, pages 5198–5203, 2023. IEEE\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/itsc/Chaanine0PPGS23,\n author = {Tommy Chaanine and\n Angelo Ferrando and\n C. Pasquale and\n Vito Paolo Pastore and\n Mahyar Sadeghi Garjan and\n S. Siri},\n title = {A Control-Oriented Highway Traffic Model with Multiple Clusters of\n CAVs},\n booktitle = {25th {IEEE} International Conference on Intelligent Transportation\n Systems, {ITSC} 2022, Macau, China, October 8-12, 2022},\n pages = {5198--5203},\n publisher = {{IEEE}},\n year = {2023},\n url = {https://doi.org/10.1109/ITSC57777.2023.10421830},\n doi = {10.1109/ITSC57777.2023.10421830},\n timestamp = {Thu, 22 Feb 2024 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/itsc/Chaanine0PPGS23.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n HyperMonitor: A Python Prototype for Hyper Predictive Runtime Verification.\n \n \n \n \n\n\n \n Angelo Ferrando; and Giorgio Delzanno.\n\n\n \n\n\n\n In Olivier Bournez; Enrico Formenti; and Igor Potapov., editor(s),
Reachability Problems - 17th International Conference, RP 2023, Nice, France, October 11-13, 2023, Proceedings, volume 14235, of
Lecture Notes in Computer Science, pages 171–182, 2023. Springer\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/rp/FerrandoD23,\n author = {Angelo Ferrando and\n Giorgio Delzanno},\n editor = {Olivier Bournez and\n Enrico Formenti and\n Igor Potapov},\n title = {HyperMonitor: {A} Python Prototype for Hyper Predictive Runtime Verification},\n booktitle = {Reachability Problems - 17th International Conference, {RP} 2023,\n Nice, France, October 11-13, 2023, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {14235},\n pages = {171--182},\n publisher = {Springer},\n year = {2023},\n url = {https://doi.org/10.1007/978-3-031-45286-4\\_13},\n doi = {10.1007/978-3-031-45286-4\\_13},\n timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/rp/FerrandoD23.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n\n\n
\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Runtime Verification for Trustworthy Computing.\n \n \n \n \n\n\n \n Robert Abela; Christian Colombo; Axel Curmi; Mattea Fenech; Mark Vella; and Angelo Ferrando.\n\n\n \n\n\n\n In Angelo Ferrando; and Rafael Cardoso., editor(s),
Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023, volume 391, of
EPTCS, pages 49–62, 2023. \n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:journals/corr/abs-2310-02341,\n author = {Robert Abela and\n Christian Colombo and\n Axel Curmi and\n Mattea Fenech and\n Mark Vella and\n Angelo Ferrando},\n editor = {Angelo Ferrando and\n Rafael Cardoso},\n title = {Runtime Verification for Trustworthy Computing},\n booktitle = {Proceedings of the Third Workshop on Agents and Robots for reliable\n Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023},\n series = {{EPTCS}},\n volume = {391},\n pages = {49--62},\n year = {2023},\n url = {https://doi.org/10.4204/EPTCS.391.7},\n doi = {10.4204/EPTCS.391.7},\n timestamp = {Mon, 06 Nov 2023 15:17:28 +0100},\n biburl = {https://dblp.org/rec/journals/corr/abs-2310-02341.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives.\n \n \n \n \n\n\n \n Davide Ancona; Angelo Ferrando; and Viviana Mascardi.\n\n\n \n\n\n\n In David Scott Warren; Verónica Dahl; Thomas Eiter; Manuel V. Hermenegildo; Robert A. Kowalski; and Francesca Rossi., editor(s),
Prolog: The Next 50 Years, volume 13900, of Lecture Notes in Computer Science, pages 300–317. Springer, 2023.\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@incollection{DBLP:series/lncs/Ancona0M23,\n author = {Davide Ancona and\n Angelo Ferrando and\n Viviana Mascardi},\n editor = {David Scott Warren and\n Ver{\\'{o}}nica Dahl and\n Thomas Eiter and\n Manuel V. Hermenegildo and\n Robert A. Kowalski and\n Francesca Rossi},\n title = {Exploiting Logic Programming for Runtime Verification: Current and\n Future Perspectives},\n booktitle = {Prolog: The Next 50 Years},\n series = {Lecture Notes in Computer Science},\n volume = {13900},\n pages = {300--317},\n publisher = {Springer},\n year = {2023},\n url = {https://doi.org/10.1007/978-3-031-35254-6\\_25},\n doi = {10.1007/978-3-031-35254-6\\_25},\n timestamp = {Tue, 23 Jan 2024 13:25:47 +0100},\n biburl = {https://dblp.org/rec/series/lncs/Ancona0M23.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Scalable Verification of Strategy Logic through Three-valued Abstraction.\n \n \n \n \n\n\n \n Francesco Belardinelli; Angelo Ferrando; Wojciech Jamroga; Vadim Malvone; and Aniello Murano.\n\n\n \n\n\n\n
CoRR, abs/2310.17219. 2023.\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{DBLP:journals/corr/abs-2310-17219,\n author = {Francesco Belardinelli and\n Angelo Ferrando and\n Wojciech Jamroga and\n Vadim Malvone and\n Aniello Murano},\n title = {Scalable Verification of Strategy Logic through Three-valued Abstraction},\n journal = {CoRR},\n volume = {abs/2310.17219},\n year = {2023},\n url = {https://doi.org/10.48550/arXiv.2310.17219},\n doi = {10.48550/ARXIV.2310.17219},\n eprinttype = {arXiv},\n eprint = {2310.17219},\n timestamp = {Thu, 02 Nov 2023 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/corr/abs-2310-17219.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n