Formal Verification of Autonomous UAV Behavior for Inspection Tasks Using the Knowledge Base System IDP. - Jan Vermaelen; Hoang Tung Dinh; Tom Holvoet (PAAMS, 2020)

Safe Behavior Specification and Planning for Autonomous Robotic Systems in Uncertain Environments. - Jan Vermaelen (AAMAS, 2023)

Safe and Robust Robot Behavior Planning via Constraint Programming. - Jan Vermaelen; Tom Holvoet (AREA@ECAI, 2023)

Advancing Safe Robot Behavior by Formalizing STPA with Tumato. - Jan Vermaelen; Tom Holvoet (ICSRS, 2024)

An empirical evaluation of a formal approach versus ad hoc implementations in robot behavior planning. - Jan Vermaelen; Tom Holvoet (Sci. Comput. Program., 2025)