Search Sciweavers | Sciweavers

2088 search results - page 20 / 418

» The Probabilistic Method

click to vote

ATVA
2005
Springer

131views Hardware» more ATVA 2005»

An MTBDD-Based Implementation of Forward Reachability for Probabilistic Timed Automata

14 years 1 months ago

Download www.prismmodelchecker.org

Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...

Fuzhi Wang, Marta Z. Kwiatkowska

claim paper

Read More »

click to vote

FORMATS
2007
Springer

114views Formal Methods» more FORMATS 2007»

Abstraction of Probabilistic Systems

14 years 1 months ago

Download www.trustsoft.uni-oldenburg.de

Joost-Pieter Katoen

claim paper

Read More »

click to vote

CAV
2005
Springer

99views Hardware» more CAV 2005»

Probabilistic Verification for "Black-Box" Systems

14 years 1 months ago

Download www.tempastic.org

Håkan L. S. Younes

claim paper

Read More »

click to vote

FORMATS
2005
Springer

73views Formal Methods» more FORMATS 2005»

Counterexamples for Timed Probabilistic Reachability

14 years 1 months ago

Download www.inf.uni-konstanz.de

Husain Aljazzar, Holger Hermanns, Stefan Leue

claim paper

Read More »

click to vote

IFM
2009
Springer

77views Formal Methods» more IFM 2009»

Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays

14 years 4 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers