Vadim Malvone
Orcid: 0000-0001-6138-4229
According to our database1,
Vadim Malvone
authored at least 74 papers
between 2015 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
0
5
10
15
4
3
4
2
3
10
14
8
3
4
5
2
3
6
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Probabilistic Obstruction Temporal Logic: a Probabilistic Logic to Reason about Dynamic Models.
CoRR, 2024
CoRR, 2024
Proceedings of the 25th Workshop "From Objects to Agents", 2024
Proceedings of the International Workshop on Artificial Intelligence for Climate Change, 2024
Proceedings of the International Workshop on Artificial Intelligence for Climate Change, 2024
Towards a Compositional and User-friendly Tool for Multi-Agent Systems Verification (short paper).
Proceedings of the International Workshop on Artificial Intelligence for Climate Change, 2024
Proceedings of the PRIMA 2024: Principles and Practice of Multi-Agent Systems, 2024
Resource Action-Based Bounded ATL: A New Logic for MAS to Express a Cost Over the Actions.
Proceedings of the PRIMA 2024: Principles and Practice of Multi-Agent Systems, 2024
Proceedings of the Integrated Formal Methods - 19th International Conference, 2024
Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024
Obstruction Alternating-time Temporal Logic: A Strategic Logic to Reason about Dynamic Models.
Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024
Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024
2023
An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information.
Artif. Intell., March, 2023
Proceedings of the Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, 2023
Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy, 2023
Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy, 2023
Proceedings of the 24th Workshop "From Objects to Agents", 2023
Proceedings of the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2023
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Coalition Alternating-Time Temporal Logic: A Logic to Find Good Coalitions to Achieve Strategic Objectives.
Proceedings of the Agents and Artificial Intelligence - 15th International Conference, 2023
Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023
Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023
Proceedings of the Formal Methods - 25th International Symposium, 2023
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023
Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information.
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023
Proceedings of the the Italian Workshop on Planning and Scheduling, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
J. Comput. Secur., 2022
Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications.
J. Artif. Intell. Res., 2022
Program Semantics and a Verification Technique for Knowledge-Based Multi-Agent Systems.
CoRR, 2022
Proceedings of the 23rd Workshop "From Objects to Agents", 2022
Runtime Verification with Imperfect Information Through Indistinguishability Relations.
Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022
Towards the Combination of Model Checking and Runtime Verification on Multi-agent Systems.
Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Complex Systems Simulation. The PAAMS Collection, 2022
Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022
Proceedings of the 9th ACM Workshop on Moving Target Defense, 2022
Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022
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, 2022
Give Me a Hand: How to Use Model Checking for Multi-Agent Systems to Help Runtime Verification and Vice Versa (Short Paper).
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, 2022
2021
Proceedings of the 22nd Italian Conference on Theoretical Computer Science, 2021
Proceedings of the 22nd Italian Conference on Theoretical Computer Science, 2021
Strategy RV: A Tool to Approximate ATL Model Checking under Imperfect Information and Perfect Recall.
Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021
2020
Proceedings of the Socio-Technical Aspects in Security and Trust, 2020
Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
2019
Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019
An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2018
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018
2017
Proceedings of the Multi-Agent Systems and Agreement Technologies, 2017
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017
2016
Proceedings of the 4th International Workshop on Strategic Reasoning, 2016
Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016
2015
Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning, 2015
Proceedings of the 30th Italian Conference on Computational Logic, 2015