Koen de Vos

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Controller Synthesis

Robotic Systems

Top Venues

Publications

Koen de Vos, Gijs van den Brandt, Jordy Senden, Pieter Pauwels, René van de Molengraft, Elena Torta
Generation of skill-specific maps from graph world models for robotic systems. CoRR (2024)
Bart Wesselink, Koen de Vos, Ivan Kuertev, Michel A. Reniers, Elena Torta
RoboSC: a domain-specific language for supervisory controller synthesis of ROS applications. ICRA (2023)