Pedro D'Argenio

Identifiers

• name variant Pedro D'Argenio 0.60 · backfill

Papers (5)

1. Doping Tests for Cyber-Physical Systems cs.LO · 2019 · author #2
2. Smart Sampling for Lightweight Verification of Markov Decision Processes cs.DS · 2014 · author #1
3. Bisimulations for Nondeterministic Labeled Markov Processes cs.LO · 2010 · author #1
4. Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications cs.LO · 2009 · author #3
5. Significant Diagnostic Counterexamples in Probabilistic Model Checking cs.LO · 2008 · author #2

Mentions

• 1409.2116 #1 · backfill · confidence 0.70 Pedro D'Argenio
• 1011.3362 #1 · backfill · confidence 0.70 Pedro D'Argenio
• 0912.2128 #3 · backfill · confidence 0.70 Pedro D'Argenio
• 0806.1139 #2 · backfill · confidence 0.70 Pedro D'Argenio

Frequent Coauthors

• Annabelle McIver 1 shared papers
• Axel Legay 1 shared papers
• Caroll Morgan 1 shared papers
• Holger Hermanns 1 shared papers
• Jasen Markovski 1 shared papers
• Louis-Marie Traonouez 1 shared papers
• Manuel N\'u\~nez 1 shared papers
• Miguel E. Andres 1 shared papers
• Nicol\'as Wolovick 1 shared papers
• Pedro S\'anchez Terraf 1 shared papers
• Peter van Rossum 1 shared papers
• Pieter Cuijpers 1 shared papers
• Sean Sedwards 1 shared papers
• Sebastian Biewer 1 shared papers
• Suzana Andova 1 shared papers