Sciweavers

554 search results - page 11 / 111

» Approximate Probabilistic Model Checking

20

ICALP
1997
Springer

110views Programming Languages» more ICALP 1997»

Symbolic Model Checking for Probabilistic Processes

13 years 11 months ago

Symbolic Model Checking for Probabilistic Processes

Download www.cs.cmu.edu

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

claim paper

Read More »

20

DC
1998

77views Internet Technology» more DC 1998»

Model Checking for a Probabilistic Branching Time Logic with Fairness

13 years 7 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 »

25

ICFEM
2010
Springer

152views Software Engineering» more ICFEM 2010»

Model Checking Hierarchical Probabilistic Systems

13 years 4 months ago

Model Checking Hierarchical Probabilistic Systems

Download www.sutd.edu.sg

Jun Sun 0001, Songzheng Song, Yang Liu 0003

claim paper

Read More »

46

TOCL
2012

241views Formal Methods» more TOCL 2012»

Model Checking of Recursive Probabilistic Systems

11 years 10 months ago

Model Checking of Recursive Probabilistic Systems

Download tocl.acm.org

Kousha Etessami, Mihalis Yannakakis

claim paper

Read More »

20

MICAI
2005
Springer

142views Artificial Intelligence» more MICAI 2005»

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

14 years 1 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 »