Vadim Malvone

• Homepage
• Publications
• Team
• Join Us
• Teaching
• Contact Information

---

Postdoctoral positions

---

Doctoral positions

Dynamic cybersecurity strategies for automotive CPS

Formal verification of agentic AI systems

---

Internship positions

Towards the verification of smart contracts

Defining dynamic coalitions within the specification of properties for multi-agent systems

Towards the probabilistic version of natural strategies

Quantitative Strategic Reasoning for Dynamic Models

AI-Enhanced Verification for Multi-Agent Systems: User-Friendly Interface Development

AI-Enhanced Verification for Multi-Agent Systems

Reasoning about Logics for Dynamic Models

Defining nudging strategies in the specification of properties for multi-agent systems

Multi-Agent Reinforcement Learning for Obstruction Logic

Formal Methods for Strategic Reasoning in Cyber-Security Scenarios

---