Search Sciweavers | Sciweavers

1341 search results - page 8 / 269

» Probabilistic Abstraction Hierarchies

click to vote

ICALP
2011
Springer

230views Programming Languages» more ICALP 2011»

Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation

14 years 1 months ago

Download www.math.unipd.it

act Interpretation SILVIA CRAFA FRANCESCO RANZATO University of Padova, Italy We show how bisimulation equivalence and simulation preorder on probabilistic LTSs (PLTSs), namely the...

Silvia Crafa, Francesco Ranzato

claim paper

Read More »

114

click to vote

LICS
2002
IEEE

151views Automated Reasoning» more LICS 2002»

Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing

15 years 3 months ago

Download sylvain.berbiqui.org

istic Abstraction for Model Checking: an Approach Based on Property Testing∗ Sophie Laplante† Richard Lassaigne‡ Fr´ed´eric Magniez§ Sylvain Peyronnet† Michel de Rougemo...

Sophie Laplante, Richard Lassaigne, Fréd&ea...

claim paper

Read More »

click to vote

ENTCS
2006

106views more ENTCS 2006»

Probabilistic Observations and Valuations: (Extended Abstract)

14 years 10 months ago

Download homepages.inf.ed.ac.uk

d Abstract) 1 Matthias Schr

Matthias Schröder, Alex Simpson

claim paper