Login / Signup
Jan Vermaelen
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 3
Top Topics
Symmetry Breaking
Formal Verification
Uncertain Environments
Constraint Solver
Top Venues
AREA@ECAI
AAMAS
PAAMS
</>
Publications
</>
Jan Vermaelen
Safe Behavior Specification and Planning for Autonomous Robotic Systems in Uncertain Environments.
AAMAS
(2023)
Jan Vermaelen
,
Tom Holvoet
Safe and Robust Robot Behavior Planning via Constraint Programming.
AREA@ECAI
(2023)
Jan Vermaelen
,
Hoang Tung Dinh
,
Tom Holvoet
Formal Verification of Autonomous UAV Behavior for Inspection Tasks Using the Knowledge Base System IDP.
PAAMS
(2020)