315 citations
- KU LeuvenBE3 papers
- Universidade Estadual de Campinas (UNICAMP)BR3 papers
- IMECBE2 papers
- Centrum Wiskunde & InformaticaNL1 paper
- Damghan UniversityIR1 paper
- Eindhoven University of TechnologyNL1 paper
- Hospital de Clínicas da UnicampBR1 paper
- Institut de Mathématiques de Jussieu-Paris Rive GaucheFR1 paper
- Institut de Mécanique Céleste et de Calcul des ÉphéméridesFR1 paper
- Institut national de recherche en sciences et technologies du numériqueFR1 paper
- Instituto de Microelectrónica de SevillaES1 paper
- Laboratoire Jacques-Louis LionsFR1 paper
Showing cs.MAShow all
2 papers · 1 filter
cs.MA2023★ 1 cited
Safe and Robust Robot Behavior Planning via Constraint Programming
Jan Vermaelen, Tom Holvoet
The safe operation of an autonomous system is a complex endeavor, one pivotal element being its decision-making. Decision-making logic can formally be analyzed using model checking…
cs.MA2022★ 5 cited
Generating Safe Autonomous Decision-Making in ROS
Yi Yang, Tom Holvoet
The Robot Operating System (ROS) is a widely used framework for building robotic systems. It offers a wide variety of reusable packages and a pattern for new developments. It is up…