I agree that this site is using cookies. You can find further informations here.
X
Malvone, Vadim
73  results:
Search for persons X
?
1

Coalition Alternating-Time Temporal Logic: A Logic to Find ..:

, In: Lecture Notes in Computer Science; Agents and Artificial Intelligence,
Catta, Davide ; Ferrando, Angelo ; Malvone, Vadim - p. 72-94 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Multi-Agent Systems: 20th European Conference, EUMAS 2023, .. 

Lecture Notes in Artificial Intelligence, 14282
Malvone, Vadim ; Murano, Aniello - 1st ed. 2023 . , 2023
Link: https://doi.org/10.1007/..
 
?
3

Program Semantics and Verification Technique for AI-Centred..:

, In: Formal Methods; Lecture Notes in Computer Science,
Rajaona, Fortunat ; Boureanu, Ioana ; Malvone, Vadim. - p. 473-491 , 2023
Link: https://doi.org/10.1007/..
 
?
4

HYASM: A Tool to Verify Hierarchical Systems:

, In: 2023 IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE),
Ferrando, Angelo ; Malvone, Vadim ; Murano, Aniello. - p. 1-6 , 2023
Link: https://doi.org/10.1109/..
 
?
5

An abstraction-refinement framework for verifying strategic..:

Belardinelli, Francesco ; Ferrando, Angelo ; Malvone, Vadim
Artificial Intelligence.  316 (2023)  - p. 103847 , 2023
Link: https://doi.org/10.1016/..
 
?
6

Reasoning about Moving Target Defense in Attack Modeling Fo..:

, In: Proceedings of the 9th ACM Workshop on Moving Target Defense,
Ballot, Gabriel ; Malvone, Vadim ; Leneutre, Jean. - p. 55-65 , 2022
Link: https://dl.acm.org/doi/1..
 
?
7

Towards the Combination of Model Checking and Runtime Verif..:

, In: Lecture Notes in Computer Science; Advances in Practical Applications of Agents, Multi-Agent Systems, and Complex Systems Simulation. The PAAMS Collection,
Ferrando, Angelo ; Malvone, Vadim - p. 140-152 , 2022
Link: https://doi.org/10.1007/..
 
?
8

Runtime Verification with Imperfect Information Through Ind..:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,
Ferrando, Angelo ; Malvone, Vadim - p. 335-351 , 2022
Link: https://doi.org/10.1007/..
 
?
9

Strategy RV: A Tool to Approximate ATL Model Checking under..:

, In: Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems,
Ferrando, Angelo ; Malvone, Vadim - p. 1764-1766 , 2021
Link: https://dl.acm.org/doi/1..
 
?
10

Natural Strategic Abilities in Voting Protocols:

, In: Lecture Notes in Computer Science; Socio-Technical Aspects in Security and Trust,
Jamroga, Wojciech ; Kurpiewski, Damian ; Malvone, Vadim - p. 45-62 , 2021
Link: https://doi.org/10.1007/..
 
?
11

A Hennessy-Milner Theorem for ATL with Imperfect Informatio:

, In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science,
Belardinelli, Francesco ; Dima, Catalin ; Malvone, Vadim. - p. 181-194 , 2020
Link: https://dl.acm.org/doi/1..
 
?
12

Natural strategic ability:

Jamroga, Wojciech ; Malvone, Vadim ; Murano, Aniello
Artificial Intelligence.  277 (2019)  - p. 103170 , 2019
Link: https://doi.org/10.1016/..
 
?
13

Decidable Verification of Agent-Based Data-Aware Systems:

, In: PRIMA 2019: Principles and Practice of Multi-Agent Systems; Lecture Notes in Computer Science,
Belardinelli, Francesco ; Malvone, Vadim - p. 52-68 , 2019
Link: https://doi.org/10.1007/..
 
?
14

Natural Strategic Ability under Imperfect Information:

, In: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems,
Jamroga, Wojciech ; Malvone, Vadim ; Murano, Aniello - p. 962-970 , 2019
Link: https://dl.acm.org/doi/1..
 
?
15

Verifying Strategic Abilities in Multi-agent Systems with P..:

, In: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems,
Belardinelli, Francesco ; Boureanu, Ioana ; Dima, Catalin. - p. 1820-1822 , 2019
Link: https://dl.acm.org/doi/1..
 
1-15