Jan Vermaelen

According to our database, Jan Vermaelen authored at least 5 papers between 2020 and 2025.

Collaborative distances:

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

2025

An empirical evaluation of a formal approach versus ad hoc implementations in robot behavior planning.

Jan Vermaelen, Tom Holvoet

Sci. Comput. Program., 2025

2024

Advancing Safe Robot Behavior by Formalizing STPA with Tumato.

Jan Vermaelen, Tom Holvoet

Proceedings of the 8th International Conference on System Reliability and Safety, 2024

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