Quality and quantity in robustness checking using formal techniques

Stefan Frehse. Quality and quantity in robustness checking using formal techniques. PhD thesis, University of Bremen, 2013. [doi]

Abstract

Abstract is missing.