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
Publications
7 items
Execution-Time Opacity Logic: A Logic for Ensuring ET-Opacity in Timed Systems
2026
Cited
0
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
