Poster: Property specification patterns for robotic missions
A serious VR game for acrophobia therapy in an urban environment
Global stabilization for triangular formations under mixed distance and bearing constraints
Task assignment for robots with limited communication
Predictive control for multi-market trade of aggregated demand response using a black box approach
Multi-camera analysis of soccer sequences
Humanoid gait generation for walk-to locomotion using single-stage MPC
Proactive cloud management for highly heterogeneous multi-cloud infrastructures