Jump to navigation
Pedro R. D'Argenio
Filters:
Author
is
I. Cerna
[Clear All Filters]
2002
B. Jeannet
,
D'Argenio, P. R.
, and
Larsen, K. G.
,
“
Rapture: A tool for verifying Markov Decision Processes
”
, in
Tools Day'02, Brno, Czech Republic
, 2002.
Google Scholar
paper-197.pdf
(246.19 KB)
Main menu
Home
Short CV
Projects
Publications
Students
Cambalache
Facultad de
Matemática, Astronomía, Física y Computación
Sección de Ciencias de la Computación
Dependable System Group
Home
Short CV
Projects
Publications
ORCID
DBLP
Google Scholar
Scopus
Research Gate
Semantic Scholar
ACM Digital Library
Aminer
Students
Cambalache