research
∙
11/30/2022
Kinematic Orienteering Problem With Time-Optimal Trajectories for Multirotor UAVs
In many unmanned aerial vehicle (UAV) applications for surveillance and ...
share
research
∙
11/30/2022
Trajectory-based Traveling Salesman Problem for Multirotor UAVs
This paper presents a new method for integrated time-optimal routing and...
research
∙
05/18/2022
Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops
There exist several results on deciding termination and computing runtim...
research
∙
02/03/2022
Improving Automatic Complexity Analysis of Integer Programs
In earlier work, we developed an approach for automatic complexity analy...
research
∙
10/13/2020
Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes
We present a novel modular approach to infer upper bounds on the expecte...
research
∙
05/08/2020
Multi-Robot Task Allocation and Scheduling Considering Cooperative Tasks and Precedence Constraints
In order to fully exploit the advantages inherent to cooperating heterog...
research
∙
12/09/2019
Error control for statistical solutions
Statistical solutions have recently been introduced as a an alternative ...
research
∙
08/26/2019
