Sciweavers

269 search results - page 33 / 54
» Computing with Probabilistic Cellular Automata
Sort
View
CONCUR
2001
Springer
15 years 9 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 11 months ago
Recurrence and Transience for Probabilistic Automata
Mathieu Tracol, Christel Baier, Marcus Grö&sz...
FSTTCS
2009
Springer
15 years 11 months ago
On the Memory Consumption of Probabilistic Pushdown Automata
Tomás Brázdil, Javier Esparza, Stefa...
ICTAC
2004
Springer
15 years 10 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 8 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