591 search results - page 8 / 119 » Probabilistic Assumption-Based Reasoning |
ECSQARU
2005
Springer
15 years 2 months ago
2005
Springer
LPNMR
2004
Springer
15 years 2 months ago
2004
Springer
ECSQARU
2003
Springer
15 years 2 months ago
2003
Springer
BIRTHDAY
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We study a process algebra which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s simple probabilistic automata. We consider...
101
click to vote
CSL
2006
Springer
15 years 1 months ago
2006
Springer
A complete and decidable propositional logic for reasoning about states of probabilistic sequential programs is presented. The state logic is then used to obtain a sound Hoare-styl...