Search Results for author:
Found 5 papers, 1 papers with code
ECAP: Extensive Cut-and-Paste Augmentation for Unsupervised Domain Adaptive Semantic Segmentation
We implement ECAP on top of the recent method MIC and boost its performance on two synthetic-to-real domain adaptation benchmarks.
Technical Report: The effect of Input Parameters on Falsification of Cyber-Physical Systems
The aim of this technical report is to investigate the effect of input parameters on the falsification of cyber-physical systems (CPSs).
Falsification of Cyber-Physical Systems using Bayesian Optimization
For some of the benchmark problems, the choice of acquisition function clearly affects the number of simulations needed for successful falsification.
A Compositional Algorithm for the Conflict-Free Electric Vehicle Routing Problem
The CF-EVRP involves constraints such as time windows on the delivery to the customers, limited operating range of the vehicles, and limited capacity on the number of vehicles that a road segment can accommodate at the same time.
An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric Vehicle Routing Problem
The Vehicle Routing Problem (VRP) is the combinatorial optimization problem of designing routes for vehicles to visit customers in such a fashion that a cost function, typically the number of vehicles, or the total travelled distance is minimized.
