Search Sciweavers | Sciweavers

2088 search results - page 20 / 418

» The Probabilistic Method

173

click to vote

ATVA
2005
Springer

131views Hardware» more ATVA 2005»

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

16 years 2 days 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 »

115

click to vote

FORMATS
2007
Springer

114views Formal Methods» more FORMATS 2007»

Abstraction of Probabilistic Systems

16 years 21 days ago

Download www.trustsoft.uni-oldenburg.de

Joost-Pieter Katoen

claim paper

Read More »

150

click to vote

CAV
2005
Springer

99views Hardware» more CAV 2005»

Probabilistic Verification for "Black-Box" Systems

16 years 2 days ago

Download www.tempastic.org

Håkan L. S. Younes

claim paper

Read More »

118

click to vote

FORMATS
2005
Springer

73views Formal Methods» more FORMATS 2005»

Counterexamples for Timed Probabilistic Reachability

16 years 2 days ago

Download www.inf.uni-konstanz.de

Husain Aljazzar, Holger Hermanns, Stefan Leue

claim paper

Read More »

110

click to vote

IFM
2009
Springer

77views Formal Methods» more IFM 2009»

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

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers