Author:Pedro R. D'Argenio

Publications
A compositional semantics for Repairable Fault Trees with general distributions Raúl E. Monti, Carlos E. Budde and Pedro R. D'Argenio In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
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