Vadim Malvone
Scholar

Vadim Malvone

Google Scholar ID: tSmnfd8AAAAJ
Télécom Paris
Formal verificationMulti-agent systemsTemporal and strategic logicsGame theory
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
822
 
H-index
17
 
i10-index
29
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
4 items
KindHML: formal verification of smart contracts based on Hennessy-Milner logic
2026
Cited
0
When Natural Strategies Meet Fuzziness and Resource-Bounded Actions (Extended Version)
2025
Cited
0
A Timed Obstruction Logic for Dynamic Game Models
2025
Cited
0
VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems
Proceedings of the 17th International Conference on Agents and Artificial Intelligence · 2024
Cited
3
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)