Postdoctoral positions

Doctoral positions

Dynamic cybersecurity strategies for automotive CPS

Formal verification of agentic AI systems

Internship positions

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

Towards the verification of smart contracts

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

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

AI-Enhanced Verification for Multi-Agent Systems

Reasoning about Logics for Dynamic Models

Towards the probabilistic version of natural strategies

Copyright © 2015 Vadim Malvone. All rights reserved.