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
705
 
H-index
15
 
i10-index
24
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
3 items
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)
Background
  • Research interests include: Strategic reasoning and multi-agent systems; Formal specification and verification of systems; Temporal and strategic logics; Games in theoretical computer science.
Co-authors
0 total
Co-authors: 0 (list not available)