Vadim Malvone

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A formal approach to attack graphs Annals of Mathematics and Artificial Intelligence	2025-10-17	Paper
Reasoning about decidability of strategic logics with imperfect information and perfect recall strategies The Journal of Artificial Intelligence Research (JAIR)	2025-03-11	Paper
Model-checking strategic abilities in information-sharing systems ACM Transactions on Computational Logic	2025-02-14	Paper
An SMT-based approach to the verification of knowledge-based programs Formal Aspects of Computing	2025-02-14	Paper
Program semantics and verification technique for AI-centred programs Formal Methods	2023-08-17	Paper
Runtime Verification with Imperfect Information Through Indistinguishability Relations Software Engineering and Formal Methods	2023-08-04	Paper
An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information Artificial Intelligence	2023-06-19	Paper
Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications Journal of Artificial Intelligence Research	2022-05-16	Paper
scientific article; zbMATH DE number 7368338 (Why is no real title available?)	2021-07-06	Paper
A Hennessy-Milner theorem for ATL with imperfect information Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-21	Paper
Natural strategic ability Artificial Intelligence	2020-01-20	Paper
Graded modalities in strategy logic Information and Computation	2018-06-14	Paper
Graded modalities in strategy logic Information and Computation	2018-06-14	Paper
Additional winning strategies in reachability games Fundamenta Informaticae	2018-05-03	Paper
Reasoning about graded strategy quantifiers Information and Computation	2018-03-21	Paper

Research outcomes over time

This page was built for person: Vadim Malvone