2038 search results - page 9 / 408 » Probabilistic Agent Programs |
150
Voted
WOA
2010
15 years 4 months ago
2010
201
click to vote
ICALP
1992
Springer
15 years 10 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...
171
click to vote
CDC
2008
IEEE
16 years 19 days 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 ...