Vadim Malvone
Vadim Malvone
Affiliation: LTCI, Télécom Paris, Institut Polytechnique de Paris, Palaiseau, France
Affiliation: Telecom Paris
Pages in this Program
Active Cyber Defense Strategy through Multi-Agent Systems Verification
Hierarchical Models of Multi-Agent Systems: Strategic Ability and Model Checking
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑