Author:Holger Hermanns

Publications
Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions Holger Hermanns, Sebastian Biewer, Pedro R. D'Argenio and Maximilian A. Köhl In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning