Jan Vermaelen

According to our database, Jan Vermaelen authored at least 3 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Safe and Robust Robot Behavior Planning via Constraint Programming.

Jan Vermaelen, Tom Holvoet

Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy, 2023

Safe Behavior Specification and Planning for Autonomous Robotic Systems in Uncertain Environments.

Jan Vermaelen

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2020

Formal Verification of Autonomous UAV Behavior for Inspection Tasks Using the Knowledge Base System IDP.

Jan Vermaelen, Hoang Tung Dinh, Tom Holvoet

Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection, 2020