Browsing by Author "Holvoet, Tom"
- Results Per Page
- Sort Options
Publication A framework for verifying autonomous robotic agents against environment assumptions
Publication Analysis of activation constraints and their effect on demand-side flexibility allocations
Publication Combining DSM and storage to alleviate current congestion in distribution grids
Publication Combining planning and model checking to get guarantees on the behavior of safety-critical UAV systems
Publication Dancing UAVs: Using Linear Programming to Model Movement Behavior with Safety Requirements
Publication Exponential discounting in security games of timing
Publication Generalized Hyperbolic Discounting in Security Games of Timing
Publication Generating Safe Autonomous Decision-Making in ROS
Publication Haematopoietic prolyl hydroxylase-1 deficiency promotes M2 macrophage polarization and is both necessary and sufficient to protect against experimental colitis
Publication Making model checking feasible for GOAL
Publication Optimizing agents with genetic programming: an evaluation of hyper-heuristics in dynamic real-time logistics
Publication Safe and Robust Robot Behavior Planning via Constraint Programming
Publication Scalable multirotor UAV trajectory planning using mixed integer linear programming
Publication Sound and complete reactive UAV behavior using constraint programming
Publication Verifying autonomous decision making against environment assumptions: An experience report
Publication Who gets my flex? An evolutionary game theory analysis of flexibility market dynamics