Sciweavers

269 search results - page 33 / 54
» Computing with Probabilistic Cellular Automata
Sort
View
CONCUR
2001
Springer
15 years 2 months ago
Symbolic Computation of Maximal Probabilistic Reachability
We study the maximal reachability probability problem for infinite-state systems featuring both nondeterministic and probabilistic choice. The problem involves the computation of ...
Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sprost...
FSTTCS
2009
Springer
15 years 4 months ago
Recurrence and Transience for Probabilistic Automata
Mathieu Tracol, Christel Baier, Marcus Grö&sz...
71
Voted
FSTTCS
2009
Springer
15 years 4 months ago
On the Memory Consumption of Probabilistic Pushdown Automata
Tomás Brázdil, Javier Esparza, Stefa...
ICTAC
2004
Springer
15 years 3 months ago
Switched Probabilistic I/O Automata
A switched probabilistic I/O automaton is a special kind of probabilistic I/O automaton (PIOA), enriched with an explicit mechanism to exchange control with its environment. Every ...
Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits...
ACSC
2004
IEEE
15 years 1 months ago
Self-Replicating Expressions in the Lambda Calculus
The study of self-replicating structures in Computer Science has been taking place for more than half a century, motivated by the desire to understand the fundamental principles a...
James Larkin, Phil Stocks