Browsing by author "Holvoet, Tom"
Now showing items 1-16 of 16
-
A framework for verifying autonomous robotic agents against environment assumptions
Dinh, Hoang Tung; Holvoet, Tom (2020-06) -
Analysis of activation constraints and their effect on demand-side flexibility allocations
Coninx, Kristof; Deconinck, Geert; Holvoet, Tom (2018) -
Combining DSM and storage to alleviate current congestion in distribution grids
Coninx, Kristof; Moradzadeh, Mohammad; Holvoet, Tom (2016) -
Combining planning and model checking to get guarantees on the behavior of safety-critical UAV systems
Tung Dinh, Hoang; Cruz Torres, Mario Henrique; Holvoet, Tom (2018) -
Dancing UAVs: Using Linear Programming to Model Movement Behavior with Safety Requirements
Dinh, Hoang Tung; Cruz Torres, Mario Henrique; Holvoet, Tom (2017) -
Exponential discounting in security games of timing
Merlevede, Jonathan; Johnson, Benjamin; Grossklags, Jens; Holvoet, Tom (2021) -
Generalized Hyperbolic Discounting in Security Games of Timing
Merlevede, Jonathan; Johnson, Benjamin; Grossklags, Jens; Holvoet, Tom (2023) -
Generating Safe Autonomous Decision-Making in ROS
Yang, Yi; Holvoet, Tom; yang (2022) -
Haematopoietic prolyl hydroxylase-1 deficiency promotes M2 macrophage polarization and is both necessary and sufficient to protect against experimental colitis
Van Welden, Sophie; De Vos, Martine; Wielockx, Ben; Tavernier, Simon; Dullaers, Melissa; Neyt, Sara; Descamps, Benedicte; Devisscher, Lindsey; Devriese, Sarah; Van den Bossche, Lien; Holvoet, Tom; Baeyens, Ann; Correale, Carmen; D'Alessio, Silvio; Vanhove, Christian; De Vos, Filip; Verhasselt, Bruno; Breier, Georg; Lambrecht, Bart; Janssens, Sophie; Carmeliet, Peter; Danese, Silvio; Elewaut, Dirk; Laukens, Debby; Hindryckx, Pieter (2017) -
Making model checking feasible for GOAL
Yang, Yi; Holvoet, Tom (2024) -
Optimizing agents with genetic programming: an evaluation of hyper-heuristics in dynamic real-time logistics
van Lon, Rinde; Branke, Juergen; Holvoet, Tom (2018) -
Safe and Robust Robot Behavior Planning via Constraint Programming
Vermaelen, Jan; Holvoet, Tom (2023) -
Scalable multirotor UAV trajectory planning using mixed integer linear programming
De Waen, Jorik; Dinh, Hoang Tung; Cruz Torres, Mario Henrique; Holvoet, Tom (2017) -
Sound and complete reactive UAV behavior using constraint programming
Tung Dinh, Hoang; Cruz Torres, Mario Henrique; Holvoet, Tom (2018) -
Verifying autonomous decision making against environment assumptions: An experience report
Dinh, Hoang Tung; Holvoet, Tom (2020-11) -
Who gets my flex? An evolutionary game theory analysis of flexibility market dynamics
Coninx, Kristof; Deconinck, Geert; Holvoet, Tom (2018)