2038 search results - page 9 / 408 » Probabilistic Agent Programs |
178
click to vote
ICALP
1992
Springer
15 years 8 months ago
1992
Springer
This paper defines a probabilistic barbed congruence which turns out to coincide with observational equivalence in a probabilistic extension of CCS. Based on this coincidence resu...
147
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— This paper addresses the computational overhead involved in probabilistic reachability computations for a general class of controlled stochastic hybrid systems. An approximate ...