Certifiably Robust Policies for Uncertain Parametric Environments.

Yannik Schnitzer, Alessandro Abate, David Parker

Browse the full TACAS paper archive.