A cooperative covering problem under disruption considering backup coverage
A quasi-universal practical IMC algorithm
Certified Information Flow Analysis of Service Implementations
Collaborative Development of a Space System Simulation Model
Curvature-Preserving Regularization of Multi-valued Images Using PDE’s
Deep Reinforcement Learning for Autonomous Highway Driving Scenario
El conflicto colombiano: el peligro de conocer solo una versión de la historia
Ensemble Simulations on highly Scaling HPC Systems (EnSIM)
Markov Game Controller Design Algorithms
Naval ship design-process analysis through dynamic social networks
PANIC -- Plugging Data Leak Detection into the Camunda Modeler
Planning of Automated Data Acquisition and Process Control Systems (ADACS)