Sciweavers

554 search results - page 11 / 111

» Approximate Probabilistic Model Checking

66

ICALP
1997
Springer

110views Programming Languages» more ICALP 1997»

Symbolic Model Checking for Probabilistic Processes

15 years 3 months ago

Symbolic Model Checking for Probabilistic Processes

Download www.cs.cmu.edu

Christel Baier, Edmund M. Clarke, Vassili Hartonas...

claim paper

Read More »

69

DC
1998

77views Internet Technology» more DC 1998»

Model Checking for a Probabilistic Branching Time Logic with Fairness

14 years 11 months ago

Model Checking for a Probabilistic Branching Time Logic with Fairness

Download www.uni-koblenz.de

Christel Baier, Marta Z. Kwiatkowska

claim paper

Read More »

88

ICFEM
2010
Springer

152views Software Engineering» more ICFEM 2010»

Model Checking Hierarchical Probabilistic Systems

14 years 9 months ago

Model Checking Hierarchical Probabilistic Systems

Download www.sutd.edu.sg

Jun Sun 0001, Songzheng Song, Yang Liu 0003

claim paper

Read More »

164

TOCL
2012

241views Formal Methods» more TOCL 2012»

Model Checking of Recursive Probabilistic Systems

13 years 2 months ago

Model Checking of Recursive Probabilistic Systems

Download tocl.acm.org

Kousha Etessami, Mihalis Yannakakis

claim paper

Read More »

85

MICAI
2005
Springer

142views Artificial Intelligence» more MICAI 2005»

Directed Cycles in Bayesian Belief Networks: Probabilistic Semantics and Consistency Checking Complexity

15 years 5 months ago

Directed Cycles in Bayesian Belief Networks: Probabilistic Semantics and Consistency Checking Complexity

Download logic.pdmi.ras.ru

Although undirected cycles in directed graphs of Bayesian belief networks have been thoroughly studied, little attention has so far been given to a systematic analysis of directed ...

Alexander L. Tulupyev, Sergey I. Nikolenko

claim paper

Read More »

« Prev « First page 11 / 111 Last » Next »