Login / Signup
Pedro D'Argenio
ORCID
Publication Activity (10 Years)
Years Active: 2014-2019
Publications (10 Years): 4
Top Topics
Markov Decision Process
Transition Matrices
Action Sets
Average Reward
</>
Publications
</>
Sebastian Biewer
,
Pedro R. D'Argenio
,
Holger Hermanns
Doping Tests for Cyber-Physical Systems.
QEST
(2019)
Sebastian Biewer
,
Pedro R. D'Argenio
,
Holger Hermanns
Doping Tests for Cyber-Physical Systems.
CoRR
(2019)
Carlos E. Budde
,
Pedro R. D'Argenio
,
Raúl E. Monti
Compositional Construction of Importance Functions in Fully Automated Importance Splitting.
VALUETOOLS
(2016)
Pedro R. D'Argenio
,
Axel Legay
,
Sean Sedwards
,
Louis-Marie Traonouez
Smart sampling for lightweight verification of Markov decision processes.
Int. J. Softw. Tools Technol. Transf.
17 (4) (2015)
Pedro R. D'Argenio
,
Axel Legay
,
Sean Sedwards
,
Louis-Marie Traonouez
Smart Sampling for Lightweight Verification of Markov Decision Processes.
CoRR
(2014)