Sciweavers

2610 search results - page 6 / 522
» Computational Probabilistic Non-interference
Sort
View
IPL
2007
125views more  IPL 2007»
13 years 7 months ago
State explosion in almost-sure probabilistic reachability
We show that the problem of reaching a state set with probability 1 in probabilisticnondeterministic systems operating in parallel is EXPTIME-complete. We then show that this prob...
François Laroussinie, Jeremy Sproston
DLT
2009
13 years 5 months ago
Weighted versus Probabilistic Logics
While a mature theory around logics such as MSO, LTL, and CTL has been developed in the pure boolean setting of finite automata, weighted automata lack such a natural connection wi...
Benedikt Bollig, Paul Gastin
BIOINFORMATICS
2012
11 years 10 months ago
Approximate probabilistic analysis of biopathway dynamics
Bing Liu 0013, Andrei Hagiescu, Sucheendra K. Pala...