Research

Currently, I have been working on the following research goals:

• Using logic and formal verification techniques in order to formally verify the behaviour of intelligent agents.
• Deploying multi-agent systems and intelligent agents.
• Application scenarios: smart parking and autonomous vehicles.