Scholar
Vadim Malvone
Google Scholar ID: tSmnfd8AAAAJ
Télécom Paris
Formal verification
Multi-agent systems
Temporal and strategic logics
Game theory
Follow
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
6 items
Translating Natural Language to Strategic Temporal Specifications via LLMs
2026
Cited
0
A Neuro-Symbolic Approach to Strategy Synthesis for Strategic Logics
2026
Cited
0
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)
