Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Vadim Malvone
@inproceedings{DBLP:conf/atal/BallotMLL24,
author = {Gabriel Ballot and
Vadim Malvone and
Jean Leneutre and
Youssef Laarouchi},
editor = {Mehdi Dastani and
Jaime Sim{\~{a}}o Sichman and
Natasha Alechina and
Virginia Dignum},
title = {Strategic Reasoning under Capacity-constrained Agents},
booktitle = {Proceedings of the 23rd International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2024, Auckland, New Zealand, May 6-10,
2024},
pages = {123--131},
publisher = {{ACM}},
year = {2024},
url = {https://dl.acm.org/doi/10.5555/3635637.3662859},
doi = {10.5555/3635637.3662859},
timestamp = {Fri, 03 May 2024 14:27:55 +0200},
biburl = {https://dblp.org/rec/conf/atal/BallotMLL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/CattaLMM24,
author = {Davide Catta and
Jean Leneutre and
Vadim Malvone and
Aniello Murano},
editor = {Mehdi Dastani and
Jaime Sim{\~{a}}o Sichman and
Natasha Alechina and
Virginia Dignum},
title = {Obstruction Alternating-time Temporal Logic: {A} Strategic Logic to
Reason about Dynamic Models},
booktitle = {Proceedings of the 23rd International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2024, Auckland, New Zealand, May 6-10,
2024},
pages = {271--280},
publisher = {{ACM}},
year = {2024},
url = {https://dl.acm.org/doi/10.5555/3635637.3662875},
doi = {10.5555/3635637.3662875},
timestamp = {Fri, 03 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/CattaLMM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/CattaLMUM24,
author = {Davide Catta and
Jean Leneutre and
Antonina Mijatovic and
Johanna Ulin and
Vadim Malvone},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {A Formal Verification Approach to Handle Attack Graphs},
booktitle = {Proceedings of the 16th International Conference on Agents and Artificial
Intelligence, {ICAART} 2024, Volume 3, Rome, Italy, February 24-26,
2024},
pages = {125--132},
publisher = {{SCITEPRESS}},
year = {2024},
url = {https://doi.org/10.5220/0012310000003636},
doi = {10.5220/0012310000003636},
timestamp = {Thu, 04 Apr 2024 15:53:27 +0200},
biburl = {https://dblp.org/rec/conf/icaart/CattaLMUM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-02170,
author = {Angelo Ferrando and
Vadim Malvone},
title = {{VITAMIN:} {A} Compositional Framework for Model Checking of Multi-Agent
Systems},
journal = {CoRR},
volume = {abs/2403.02170},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.02170},
doi = {10.48550/ARXIV.2403.02170},
eprinttype = {arXiv},
eprint = {2403.02170},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-02170.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BelardinelliFM23,
author = {Francesco Belardinelli and
Angelo Ferrando and
Vadim Malvone},
title = {An abstraction-refinement framework for verifying strategic properties
in multi-agent systems with imperfect information},
journal = {Artif. Intell.},
volume = {316},
pages = {103847},
year = {2023},
url = {https://doi.org/10.1016/j.artint.2022.103847},
doi = {10.1016/J.ARTINT.2022.103847},
timestamp = {Wed, 08 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/BelardinelliFM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/CattaLM23,
author = {Davide Catta and
Jean Leneutre and
Vadim Malvone},
title = {Attack Graphs {\&} Subset Sabotage Games},
journal = {Intelligenza Artificiale},
volume = {17},
number = {1},
pages = {77--88},
year = {2023},
url = {https://doi.org/10.3233/IA-221080},
doi = {10.3233/IA-221080},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/CattaLM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BelardinelliBMR23,
author = {Francesco Belardinelli and
Ioana Boureanu and
Vadim Malvone and
Fortunat Rajaona},
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {Automatically Verifying Expressive Epistemic Properties of Programs},
booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
pages = {6245--6252},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i5.25769},
doi = {10.1609/AAAI.V37I5.25769},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BelardinelliBMR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/CattaLM23,
author = {Davide Catta and
Jean Leneutre and
Vadim Malvone},
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 = {Reasoning About Dynamic Game Models Using Obstruction Logic (short
paper)},
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/paper13\_SPIRIT03.pdf},
timestamp = {Tue, 02 Jan 2024 17:44:44 +0100},
biburl = {https://dblp.org/rec/conf/aiia/CattaLM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/0001M23,
author = {Angelo Ferrando and
Vadim Malvone},
editor = {Noa Agmon and
Bo An and
Alessandro Ricci and
William Yeoh},
title = {Towards the Verification of Strategic Properties in Multi-Agent Systems
with Imperfect Information},
booktitle = {Proceedings of the 2023 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2023, London, United Kingdom, 29 May
2023 - 2 June 2023},
pages = {793--801},
publisher = {{ACM}},
year = {2023},
url = {https://dl.acm.org/doi/10.5555/3545946.3598713},
doi = {10.5555/3545946.3598713},
timestamp = {Tue, 23 May 2023 14:27:14 +0200},
biburl = {https://dblp.org/rec/conf/atal/0001M23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/CattaLM23,
author = {Davide Catta and
Jean Leneutre and
Vadim Malvone},
editor = {Kobi Gal and
Ann Now{\'{e}} and
Grzegorz J. Nalepa and
Roy Fairstein and
Roxana Radulescu},
title = {Obstruction Logic: {A} Strategic Temporal Logic to Reason About Dynamic
Game Models},
booktitle = {{ECAI} 2023 - 26th European Conference on Artificial Intelligence,
September 30 - October 4, 2023, Krak{\'{o}}w, Poland - Including
12th Conference on Prestigious Applications of Intelligent Systems
{(PAIS} 2023)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {372},
pages = {365--372},
publisher = {{IOS} Press},
year = {2023},
url = {https://doi.org/10.3233/FAIA230292},
doi = {10.3233/FAIA230292},
timestamp = {Wed, 18 Oct 2023 09:31:16 +0200},
biburl = {https://dblp.org/rec/conf/ecai/CattaLM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/RajaonaBMB23,
author = {Solofomampionona Fortunat Rajaona and
Ioana Boureanu and
Vadim Malvone and
Francesco Belardinelli},
editor = {Marsha Chechik and
Joost{-}Pieter Katoen and
Martin Leucker},
title = {Program Semantics and Verification Technique for AI-Centred Programs},
booktitle = {Formal Methods - 25th International Symposium, {FM} 2023, L{\"{u}}beck,
Germany, March 6-10, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14000},
pages = {473--491},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-27481-7\_27},
doi = {10.1007/978-3-031-27481-7\_27},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/RajaonaBMB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/CattaFM23,
author = {Davide Catta and
Angelo Ferrando and
Vadim Malvone},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {Coalition Alternating-Time Temporal Logic: {A} Logic to Find Good
Coalitions to Achieve Strategic Objectives},
booktitle = {Agents and Artificial Intelligence - 15th International Conference,
{ICAART} 2023, Lisbon, Portugal, February 22-24, 2023, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {14546},
pages = {72--94},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-55326-4\_4},
doi = {10.1007/978-3-031-55326-4\_4},
timestamp = {Mon, 25 Mar 2024 20:43:52 +0100},
biburl = {https://dblp.org/rec/conf/icaart/CattaFM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/0001M23,
author = {Angelo Ferrando and
Vadim Malvone},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {How to Find Good Coalitions to Achieve Strategic Objectives},
booktitle = {Proceedings of the 15th International Conference on Agents and Artificial
Intelligence, {ICAART} 2023, Volume 1, Lisbon, Portugal, February
22-24, 2023},
pages = {105--113},
publisher = {{SCITEPRESS}},
year = {2023},
url = {https://doi.org/10.5220/0011778700003393},
doi = {10.5220/0011778700003393},
timestamp = {Tue, 09 May 2023 16:56:35 +0200},
biburl = {https://dblp.org/rec/conf/icaart/0001M23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/Catta0LMM23,
author = {Davide Catta and
Antonio Di Stasio and
Jean Leneutre and
Vadim Malvone and
Aniello Murano},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {A Game Theoretic Approach to Attack Graphs},
booktitle = {Proceedings of the 15th International Conference on Agents and Artificial
Intelligence, {ICAART} 2023, Volume 1, Lisbon, Portugal, February
22-24, 2023},
pages = {347--354},
publisher = {{SCITEPRESS}},
year = {2023},
url = {https://doi.org/10.5220/0011776900003393},
doi = {10.5220/0011776900003393},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/Catta0LMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Belardinelli0JM23,
author = {Francesco Belardinelli and
Angelo Ferrando and
Wojciech Jamroga and
Vadim Malvone and
Aniello Murano},
title = {Scalable Verification of Strategy Logic through Three-Valued Abstraction},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {46--54},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/6},
doi = {10.24963/IJCAI.2023/6},
timestamp = {Mon, 28 Aug 2023 17:23:07 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Belardinelli0JM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/FerrandoMMS23,
author = {Angelo Ferrando and
Vadim Malvone and
Aniello Murano and
Silvia Stranieri},
title = {{HYASM:} {A} Tool to Verify Hierarchical Systems},
booktitle = {{IEEE} International Conference on Enabling Technologies: Infrastructure
for Collaborative Enterprises, {WETICE} 2023, Paris, France, December
14-16, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/WETICE57085.2023.10477788},
doi = {10.1109/WETICE57085.2023.10477788},
timestamp = {Mon, 08 Apr 2024 17:30:24 +0200},
biburl = {https://dblp.org/rec/conf/wetice/FerrandoMMS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/UnniyankalB0M23,
author = {Hisham Unniyankal and
Francesco Belardinelli and
Angelo Ferrando and
Vadim Malvone},
editor = {Rino Falcone and
Cristiano Castelfranchi and
Alessandro Sapienza and
Filippo Cantucci},
title = {RMLGym: a Formal Reward Machine Framework for Reinforcement Learning},
booktitle = {Proceedings of the 24th Workshop "From Objects to Agents", Roma, Italy,
November 6-8, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3579},
pages = {1--16},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3579/paper1.pdf},
timestamp = {Thu, 14 Dec 2023 18:10:23 +0100},
biburl = {https://dblp.org/rec/conf/woa/UnniyankalB0M23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2310-02355,
author = {Davide Catta and
Vadim Malvone and
Aniello Murano},
editor = {Angelo Ferrando and
Rafael Cardoso},
title = {Reasoning about Intuitionistic Computation Tree Logic},
booktitle = {Proceedings of the Third Workshop on Agents and Robots for reliable
Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023},
series = {{EPTCS}},
volume = {391},
pages = {42--48},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.391.6},
doi = {10.4204/EPTCS.391.6},
timestamp = {Mon, 06 Nov 2023 15:17:28 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-02355.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2310-02342,
author = {Vadim Malvone},
editor = {Angelo Ferrando and
Rafael Cardoso},
title = {The Impact of Strategies and Information in Model Checking for Multi-Agent
Systems},
booktitle = {Proceedings of the Third Workshop on Agents and Robots for reliable
Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023},
series = {{EPTCS}},
volume = {391},
pages = {63--70},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.391.8},
doi = {10.4204/EPTCS.391.8},
timestamp = {Mon, 06 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-02342.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2311-09787,
author = {Francesco Belardinelli and
Angelo Ferrando and
Vadim Malvone},
editor = {Marie Farrell and
Matt Luckcuck and
Mario Gleirscher and
Maike Schwammberger},
title = {3vLTL: {A} Tool to Generate Automata for Three-valued {LTL}},
booktitle = {Proceedings Fifth International Workshop on Formal Methods for Autonomous
Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of
November 2023},
series = {{EPTCS}},
volume = {395},
pages = {180--187},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.395.13},
doi = {10.4204/EPTCS.395.13},
timestamp = {Tue, 07 May 2024 20:16:46 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-09787.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiia/2023ips,
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 = {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},
urn = {urn:nbn:de:0074-3585-8},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/2023ips.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eumas/2023,
editor = {Vadim Malvone and
Aniello Murano},
title = {Multi-Agent Systems - 20th European Conference, {EUMAS} 2023, Naples,
Italy, September 14-15, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14282},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43264-4},
doi = {10.1007/978-3-031-43264-4},
isbn = {978-3-031-43263-7},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eumas/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-11039,
author = {Gabriel Ballot and
Vadim Malvone and
Jean Leneutre and
Youssef Laarouchi},
title = {Capacity {ATL}},
journal = {CoRR},
volume = {abs/2308.11039},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.11039},
doi = {10.48550/ARXIV.2308.11039},
eprinttype = {arXiv},
eprint = {2308.11039},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-11039.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-17219,
author = {Francesco Belardinelli and
Angelo Ferrando and
Wojciech Jamroga and
Vadim Malvone and
Aniello Murano},
title = {Scalable Verification of Strategy Logic through Three-valued Abstraction},
journal = {CoRR},
volume = {abs/2310.17219},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.17219},
doi = {10.48550/ARXIV.2310.17219},
eprinttype = {arXiv},
eprint = {2310.17219},
timestamp = {Thu, 02 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-17219.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/BelardinelliLMY22,
author = {Francesco Belardinelli and
Alessio Lomuscio and
Vadim Malvone and
Emily Yu},
title = {Approximating Perfect Recall when Model Checking Strategic Abilities:
Theory and Applications},
journal = {J. Artif. Intell. Res.},
volume = {73},
pages = {897--932},
year = {2022},
url = {https://doi.org/10.1613/jair.1.12539},
doi = {10.1613/JAIR.1.12539},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/BelardinelliLMY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/JamrogaKM22,
author = {Wojciech Jamroga and
Damian Kurpiewski and
Vadim Malvone},
title = {How to measure usable security: Natural strategies in voting protocols},
journal = {J. Comput. Secur.},
volume = {30},
number = {3},
pages = {381--409},
year = {2022},
url = {https://doi.org/10.3233/JCS-210049},
doi = {10.3233/JCS-210049},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/JamrogaKM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@inproceedings{DBLP:conf/aiia/CattaLM22,
author = {Davide Catta and
Jean Leneutre 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 = {Towards a Formal Verification of Attack Graphs},
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/paper14\_Spirit3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/CattaLM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BelardinelliJMM22,
author = {Francesco Belardinelli and
Wojtek Jamroga and
Vadim Malvone and
Munyque Mittelmann and
Aniello Murano and
Laurent Perrussel},
editor = {Piotr Faliszewski and
Viviana Mascardi and
Catherine Pelachaud and
Matthew E. Taylor},
title = {Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions},
booktitle = {21st International Conference on Autonomous Agents and Multiagent
Systems, {AAMAS} 2022, Auckland, New Zealand, May 9-13, 2022},
pages = {62--71},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
{(IFAAMAS)}},
year = {2022},
url = {https://www.ifaamas.org/Proceedings/aamas2022/pdfs/p62.pdf},
doi = {10.5555/3535850.3535859},
timestamp = {Mon, 18 Jul 2022 17:13:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/BelardinelliJMM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/BallotMLB22,
author = {Gabriel Ballot and
Vadim Malvone and
Jean Leneutre and
Etienne Borde},
editor = {Hamed Okhravi and
Cliff Wang},
title = {Reasoning about Moving Target Defense in Attack Modeling Formalisms},
booktitle = {Proceedings of the 9th {ACM} Workshop on Moving Target Defense, {MTD}
2022, Los Angeles, CA, USA, 7 November 2022},
pages = {55--65},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3560828.3564009},
doi = {10.1145/3560828.3564009},
timestamp = {Tue, 08 Nov 2022 15:21:09 +0100},
biburl = {https://dblp.org/rec/conf/ccs/BallotMLB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/BelardinelliLM22,
author = {Francesco Belardinelli and
Borja G. Le{\'{o}}n and
Vadim Malvone},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {Enabling Markovian Representations under Imperfect Information},
booktitle = {Proceedings of the 14th International Conference on Agents and Artificial
Intelligence, {ICAART} 2022, Volume 2, Online Streaming, February
3-5, 2022},
pages = {450--457},
publisher = {{SCITEPRESS}},
year = {2022},
url = {https://doi.org/10.5220/0010882200003116},
doi = {10.5220/0010882200003116},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/BelardinelliLM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paams/FerrandoM22,
author = {Angelo Ferrando and
Vadim Malvone},
editor = {Frank Dignum and
Philippe Mathieu and
Juan Manuel Corchado and
Fernando de la Prieta},
title = {Towards the Combination of Model Checking and Runtime Verification
on Multi-agent Systems},
booktitle = {Advances in Practical Applications of Agents, Multi-Agent Systems,
and Complex Systems Simulation. The {PAAMS} Collection - 20th International
Conference, {PAAMS} 2022, L'Aquila, Italy, July 13-15, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13616},
pages = {140--152},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-18192-4\_12},
doi = {10.1007/978-3-031-18192-4\_12},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paams/FerrandoM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/FerrandoM22,
author = {Angelo Ferrando and
Vadim Malvone},
editor = {Bernd{-}Holger Schlingloff and
Ming Chai},
title = {Runtime Verification with Imperfect Information Through Indistinguishability
Relations},
booktitle = {Software Engineering and Formal Methods - 20th International Conference,
{SEFM} 2022, Berlin, Germany, September 26-30, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13550},
pages = {335--351},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17108-6\_21},
doi = {10.1007/978-3-031-17108-6\_21},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/FerrandoM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/CattaLM22,
author = {Davide Catta and
Jean Leneutre and
Vadim Malvone},
editor = {Angelo Ferrando and
Viviana Mascardi},
title = {Subset sabotage games {\&} attack graphs},
booktitle = {Proceedings of the 23rd Workshop "From Objects to Agents", Genova,
Italy, September 1-3, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3261},
pages = {209--218},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3261/paper16.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:40 +0100},
biburl = {https://dblp.org/rec/conf/woa/CattaLM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-09616,
author = {Francesco Belardinelli and
Wojtek Jamroga and
Vadim Malvone and
Munyque Mittelmann and
Aniello Murano and
Laurent Perrussel},
title = {Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions},
journal = {CoRR},
volume = {abs/2201.09616},
year = {2022},
url = {https://arxiv.org/abs/2201.09616},
eprinttype = {arXiv},
eprint = {2201.09616},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-09616.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-09344,
author = {Angelo Ferrando and
Vadim Malvone},
title = {Towards the Combination of Model Checking and Runtime Verification
on Multi-Agent Systems},
journal = {CoRR},
volume = {abs/2202.09344},
year = {2022},
url = {https://arxiv.org/abs/2202.09344},
eprinttype = {arXiv},
eprint = {2202.09344},
timestamp = {Tue, 29 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-09344.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-08896,
author = {Francesco Belardinelli and
Ioana Boureanu and
Catalin Dima and
Vadim Malvone},
title = {Model Checking Strategic Abilities in Information-sharing Systems},
journal = {CoRR},
volume = {abs/2204.08896},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.08896},
doi = {10.48550/ARXIV.2204.08896},
eprinttype = {arXiv},
eprint = {2204.08896},
timestamp = {Mon, 25 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-08896.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-13841,
author = {Francesco Belardinelli and
Ioana Boureanu and
Vadim Malvone and
Solofomampionona Fortunat Rajaona},
title = {Program Semantics and a Verification Technique for Knowledge-Based
Multi-Agent Systems},
journal = {CoRR},
volume = {abs/2206.13841},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.13841},
doi = {10.48550/ARXIV.2206.13841},
eprinttype = {arXiv},
eprint = {2206.13841},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-13841.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-14076,
author = {Gabriel Ballot and
Vadim Malvone and
Jean Leneutre and
Etienne Borde},
title = {Reasoning about Moving Target Defense in Attack Modeling Formalisms},
journal = {CoRR},
volume = {abs/2206.14076},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.14076},
doi = {10.48550/ARXIV.2206.14076},
eprinttype = {arXiv},
eprint = {2206.14076},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-14076.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/FerrandoM21,
author = {Angelo Ferrando and
Vadim Malvone},
editor = {Frank Dignum and
Alessio Lomuscio and
Ulle Endriss and
Ann Now{\'{e}}},
title = {Strategy {RV:} {A} Tool to Approximate {ATL} Model Checking under
Imperfect Information and Perfect Recall},
booktitle = {{AAMAS} '21: 20th International Conference on Autonomous Agents and
Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021},
pages = {1764--1766},
publisher = {{ACM}},
year = {2021},
url = {https://www.ifaamas.org/Proceedings/aamas2021/pdfs/p1764.pdf},
doi = {10.5555/3463952.3464230},
timestamp = {Wed, 20 Jul 2022 17:03:47 +0200},
biburl = {https://dblp.org/rec/conf/atal/FerrandoM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/FerrandoM21,
author = {Angelo Ferrando and
Vadim Malvone},
editor = {Claudio Sacerdoti Coen and
Ivano Salvo},
title = {Combine Model Checking and Runtime Verification in Multi-Agent Systems},
booktitle = {Proceedings of the 22nd Italian Conference on Theoretical Computer
Science, Bologna, Italy, September 13-15, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3072},
pages = {302--310},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3072/paper25.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/FerrandoM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/MalvoneS21,
author = {Vadim Malvone and
Silvia Stranieri},
editor = {Claudio Sacerdoti Coen and
Ivano Salvo},
title = {Towards a Model Checking Tool for Strategy Logic with Simple Goals},
booktitle = {Proceedings of the 22nd Italian Conference on Theoretical Computer
Science, Bologna, Italy, September 13-15, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3072},
pages = {311--316},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3072/paper26.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/MalvoneS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-13621,
author = {Angelo Ferrando and
Vadim Malvone},
title = {Towards the Verification of Strategic Properties in Multi-Agent Systems
with Imperfect Information},
journal = {CoRR},
volume = {abs/2112.13621},
year = {2021},
url = {https://arxiv.org/abs/2112.13621},
eprinttype = {arXiv},
eprint = {2112.13621},
timestamp = {Tue, 29 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-13621.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BelardinelliM20,
author = {Francesco Belardinelli and
Vadim Malvone},
editor = {Giuseppe De Giacomo and
Alejandro Catal{\'{a}} and
Bistra Dilkina and
Michela Milano and
Sen{\'{e}}n Barro and
Alberto Bugar{\'{\i}}n and
J{\'{e}}r{\^{o}}me Lang},
title = {Verifying Strategic Abilities in Multi-Agent Systems via First-Order
Entailment},
booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,
29 August-8 September 2020, Santiago de Compostela, Spain, August
29 - September 8, 2020 - Including 10th Conference on Prestigious
Applications of Artificial Intelligence {(PAIS} 2020)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {325},
pages = {27--34},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200072},
doi = {10.3233/FAIA200072},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/BelardinelliM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BelardinelliM20,
author = {Francesco Belardinelli and
Vadim Malvone},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {A Three-valued Approach to Strategic Abilities under Imperfect Information},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {89--98},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/10},
doi = {10.24963/KR.2020/10},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BelardinelliM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BelardinelliDMT20,
author = {Francesco Belardinelli and
Catalin Dima and
Vadim Malvone and
Ferucio Laurentiu Tiplea},
editor = {Holger Hermanns and
Lijun Zhang and
Naoki Kobayashi and
Dale Miller},
title = {A Hennessy-Milner Theorem for {ATL} with Imperfect Information},
booktitle = {{LICS} '20: 35th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Saarbr{\"{u}}cken, Germany, July 8-11, 2020},
pages = {181--194},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373718.3394784},
doi = {10.1145/3373718.3394784},
timestamp = {Sat, 30 Sep 2023 09:52:07 +0200},
biburl = {https://dblp.org/rec/conf/lics/BelardinelliDMT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stast/JamrogaKM20,
author = {Wojciech Jamroga and
Damian Kurpiewski and
Vadim Malvone},
editor = {Thomas Gro{\ss} and
Luca Vigan{\`{o}}},
title = {Natural Strategic Abilities in Voting Protocols},
booktitle = {Socio-Technical Aspects in Security and Trust - 10th International
Workshop, {STAST} 2020, Virtual Event, September 14, 2020, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12812},
pages = {45--62},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-79318-0\_3},
doi = {10.1007/978-3-030-79318-0\_3},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stast/JamrogaKM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-15000,
author = {Francesco Belardinelli and
Catalin Dima and
Vadim Malvone and
Ferucio Laurentiu Tiplea},
title = {A Hennessy-Milner Theorem for {ATL} with Imperfect Information},
journal = {CoRR},
volume = {abs/2006.15000},
year = {2020},
url = {https://arxiv.org/abs/2006.15000},
eprinttype = {arXiv},
eprint = {2006.15000},
timestamp = {Wed, 01 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-15000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-12424,
author = {Wojciech Jamroga and
Damian Kurpiewski and
Vadim Malvone},
title = {Natural Strategic Abilities in Voting Protocols},
journal = {CoRR},
volume = {abs/2007.12424},
year = {2020},
url = {https://arxiv.org/abs/2007.12424},
eprinttype = {arXiv},
eprint = {2007.12424},
timestamp = {Wed, 29 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-12424.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/JamrogaMM19,
author = {Wojciech Jamroga and
Vadim Malvone and
Aniello Murano},
title = {Natural strategic ability},
journal = {Artif. Intell.},
volume = {277},
year = {2019},
url = {https://doi.org/10.1016/j.artint.2019.103170},
doi = {10.1016/J.ARTINT.2019.103170},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/JamrogaMM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BelardinelliLM19,
author = {Francesco Belardinelli and
Alessio Lomuscio and
Vadim Malvone},
title = {An Abstraction-Based Method for Verifying Strategic Properties in
Multi-Agent Systems with Imperfect Information},
booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
2019, The Thirty-First Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
USA, January 27 - February 1, 2019},
pages = {6030--6037},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/aaai.v33i01.33016030},
doi = {10.1609/AAAI.V33I01.33016030},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BelardinelliLM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/JamrogaMM19,
author = {Wojciech Jamroga and
Vadim Malvone and
Aniello Murano},
editor = {Edith Elkind and
Manuela Veloso and
Noa Agmon and
Matthew E. Taylor},
title = {Natural Strategic Ability under Imperfect Information},
booktitle = {Proceedings of the 18th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} '19, Montreal, QC, Canada, May 13-17,
2019},
pages = {962--970},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
year = {2019},
url = {http://dl.acm.org/citation.cfm?id=3331791},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/JamrogaMM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BelardinelliBDM19,
author = {Francesco Belardinelli and
Ioana Boureanu and
Catalin Dima and
Vadim Malvone},
editor = {Edith Elkind and
Manuela Veloso and
Noa Agmon and
Matthew E. Taylor},
title = {Verifying Strategic Abilities in Multi-agent Systems with Private
Data-Sharing},
booktitle = {Proceedings of the 18th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} '19, Montreal, QC, Canada, May 13-17,
2019},
pages = {1820--1822},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
year = {2019},
url = {http://dl.acm.org/citation.cfm?id=3331930},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/BelardinelliBDM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BelardinelliJKM19,
author = {Francesco Belardinelli and
Wojciech Jamroga and
Damian Kurpiewski and
Vadim Malvone and
Aniello Murano},
editor = {Sarit Kraus},
title = {Strategy Logic with Simple Goals: Tractable Reasoning about Strategies},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {88--94},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/13},
doi = {10.24963/IJCAI.2019/13},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/BelardinelliJKM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/BelardinelliM19,
author = {Francesco Belardinelli and
Vadim Malvone},
editor = {Matteo Baldoni and
Mehdi Dastani and
Beishui Liao and
Yuko Sakurai and
Rym Zalila{-}Wenkstern},
title = {Decidable Verification of Agent-Based Data-Aware Systems},
booktitle = {{PRIMA} 2019: Principles and Practice of Multi-Agent Systems - 22nd
International Conference, Turin, Italy, October 28-31, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11873},
pages = {52--68},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33792-6\_4},
doi = {10.1007/978-3-030-33792-6\_4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prima/BelardinelliM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-04350,
author = {Francesco Belardinelli and
Catalin Dima and
Ioana Boureanu and
Vadim Malvone},
title = {Model Checking ATL* on vCGS},
journal = {CoRR},
volume = {abs/1903.04350},
year = {2019},
url = {http://arxiv.org/abs/1903.04350},
eprinttype = {arXiv},
eprint = {1903.04350},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-04350.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Malvone18,
author = {Vadim Malvone},
title = {Strategic Reasoning in Game Theory},
school = {University of Naples Federico II, Italy},
year = {2018},
url = {http://www.fedoa.unina.it/12091/},
timestamp = {Wed, 24 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/basesearch/Malvone18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MalvoneMS18,
author = {Vadim Malvone and
Aniello Murano and
Loredana Sorrentino},
title = {Additional Winning Strategies in Reachability Games},
journal = {Fundam. Informaticae},
volume = {159},
number = {1-2},
pages = {175--195},
year = {2018},
url = {https://doi.org/10.3233/FI-2018-1662},
doi = {10.3233/FI-2018-1662},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/MalvoneMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MalvoneMMS18,
author = {Vadim Malvone and
Fabio Mogavero and
Aniello Murano and
Loredana Sorrentino},
title = {Reasoning about graded strategy quantifiers},
journal = {Inf. Comput.},
volume = {259},
number = {3},
pages = {390--411},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2017.08.010},
doi = {10.1016/J.IC.2017.08.010},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/MalvoneMMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AminofMMR18,
author = {Benjamin Aminof and
Vadim Malvone and
Aniello Murano and
Sasha Rubin},
title = {Graded modalities in Strategy Logic},
journal = {Inf. Comput.},
volume = {261},
pages = {634--649},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2018.02.022},
doi = {10.1016/J.IC.2018.02.022},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/AminofMMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/StasioLMM18,
author = {Antonio Di Stasio and
Paolo Domenico Lambiase and
Vadim Malvone and
Aniello Murano},
editor = {Elisabeth Andr{\'{e}} and
Sven Koenig and
Mehdi Dastani and
Gita Sukthankar},
title = {Dynamic Escape Game},
booktitle = {Proceedings of the 17th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} 2018, Stockholm, Sweden, July 10-15,
2018},
pages = {1806--1808},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
Richland, SC, {USA} / {ACM}},
year = {2018},
url = {http://dl.acm.org/citation.cfm?id=3237984},
timestamp = {Sat, 30 Sep 2023 09:34:53 +0200},
biburl = {https://dblp.org/rec/conf/atal/StasioLMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BelardinelliLM18,
author = {Francesco Belardinelli and
Alessio Lomuscio and
Vadim Malvone},
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
title = {Approximating Perfect Recall When Model Checking Strategic Abilities},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
30 October - 2 November 2018},
pages = {435--444},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18010},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BelardinelliLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/JamrogaMM17,
author = {Wojciech Jamroga and
Vadim Malvone and
Aniello Murano},
editor = {Kate Larson and
Michael Winikoff and
Sanmay Das and
Edmund H. Durfee},
title = {Reasoning about Natural Strategic Ability},
booktitle = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent
Systems, {AAMAS} 2017, S{\~{a}}o Paulo, Brazil, May 8-12, 2017},
pages = {714--722},
publisher = {{ACM}},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3091227},
timestamp = {Wed, 27 Sep 2017 07:24:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/JamrogaMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/MalvoneMS17,
author = {Vadim Malvone and
Aniello Murano and
Loredana Sorrentino},
editor = {Kate Larson and
Michael Winikoff and
Sanmay Das and
Edmund H. Durfee},
title = {Hiding Actions in Multi-Player Games},
booktitle = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent
Systems, {AAMAS} 2017, S{\~{a}}o Paulo, Brazil, May 8-12, 2017},
pages = {1205--1213},
publisher = {{ACM}},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3091293},
timestamp = {Thu, 11 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/MalvoneMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eumas/MalvoneM17,
author = {Vadim Malvone and
Aniello Murano},
editor = {Francesco Belardinelli and
Estefania Argente},
title = {Reasoning About Additional Winning Strategies in Two-Player Games},
booktitle = {Multi-Agent Systems and Agreement Technologies - 15th European Conference,
{EUMAS} 2017, and 5th International Conference, {AT} 2017, {\'{E}}vry,
France, December 14-15, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10767},
pages = {163--171},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-030-01713-2\_12},
doi = {10.1007/978-3-030-01713-2\_12},
timestamp = {Tue, 21 Mar 2023 20:59:05 +0100},
biburl = {https://dblp.org/rec/conf/eumas/MalvoneM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/MalvoneMS16,
author = {Vadim Malvone and
Aniello Murano and
Loredana Sorrentino},
editor = {Catholijn M. Jonker and
Stacy Marsella and
John Thangarajah and
Karl Tuyls},
title = {Concurrent Multi-Player Parity Games},
booktitle = {Proceedings of the 2016 International Conference on Autonomous Agents
{\&} Multiagent Systems, Singapore, May 9-13, 2016},
pages = {689--697},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2937026},
timestamp = {Fri, 20 May 2016 20:33:29 +0200},
biburl = {https://dblp.org/rec/conf/atal/MalvoneMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/AminofMMR16,
author = {Benjamin Aminof and
Vadim Malvone and
Aniello Murano and
Sasha Rubin},
editor = {Catholijn M. Jonker and
Stacy Marsella and
John Thangarajah and
Karl Tuyls},
title = {Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria},
booktitle = {Proceedings of the 2016 International Conference on Autonomous Agents
{\&} Multiagent Systems, Singapore, May 9-13, 2016},
pages = {698--706},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2937027},
timestamp = {Fri, 20 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/AminofMMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/MalvoneMT16,
author = {Vadim Malvone and
Aniello Murano and
Marco Tafuto},
editor = {Catholijn M. Jonker and
Stacy Marsella and
John Thangarajah and
Karl Tuyls},
title = {NWin: {A} Tool for Counting Winning Strategies (Demonstration)},
booktitle = {Proceedings of the 2016 International Conference on Autonomous Agents
{\&} Multiagent Systems, Singapore, May 9-13, 2016},
pages = {1501--1503},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2937227},
timestamp = {Fri, 20 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/MalvoneMT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/MalvoneMS16,
author = {Vadim Malvone and
Aniello Murano and
Loredana Sorrentino},
editor = {Gal A. Kaminka and
Maria Fox and
Paolo Bouquet and
Eyke H{\"{u}}llermeier and
Virginia Dignum and
Frank Dignum and
Frank van Harmelen},
title = {Hiding Actions in Concurrent Games},
booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
29 August-2 September 2016, The Hague, The Netherlands - Including
Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {285},
pages = {1686--1687},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-672-9-1686},
doi = {10.3233/978-1-61499-672-9-1686},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/MalvoneMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/MalvoneM16,
author = {Vadim Malvone and
Aniello Murano},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {Additional Winning Strategies in Two-Player Games},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {251--256},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/short6.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/MalvoneM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AminofMMR16,
author = {Benjamin Aminof and
Vadim Malvone and
Aniello Murano and
Sasha Rubin},
editor = {Alessio Lomuscio and
Moshe Y. Vardi},
title = {Extended Graded Modalities in Strategy Logic},
booktitle = {Proceedings of the 4th International Workshop on Strategic Reasoning,
{SR} 2016, New York City, USA, 10th July 2016},
series = {{EPTCS}},
volume = {218},
pages = {1--14},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.218.1},
doi = {10.4204/EPTCS.218.1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AminofMMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/MalvoneMS15,
author = {Vadim Malvone and
Aniello Murano and
Loredana Sorrentino},
editor = {Davide Ancona and
Marco Maratea and
Viviana Mascardi},
title = {Games with additional winning strategies},
booktitle = {Proceedings of the 30th Italian Conference on Computational Logic,
Genova, Italy, July 1-3, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1459},
pages = {175--180},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1459/paper20.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/MalvoneMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/MalvoneMMS15,
author = {Vadim Malvone and
Fabio Mogavero and
Aniello Murano and
Loredana Sorrentino},
editor = {Fabio Grandi and
Martin Lange and
Alessio Lomuscio},
title = {On the Counting of Strategies},
booktitle = {22nd International Symposium on Temporal Representation and Reasoning,
{TIME} 2015, Kassel, Germany, September 23-25, 2015},
pages = {170--179},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/TIME.2015.19},
doi = {10.1109/TIME.2015.19},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/MalvoneMMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-08 23:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
