2038 search results - page 9 / 408 » Probabilistic Agent Programs |
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
ATAL
2005
Springer
14 years 11 months ago
2005
Springer
WOA
2010
14 years 7 months ago
2010
110
click to vote
ICALP
1992
Springer
15 years 1 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...
CDC
2008
IEEE
15 years 3 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 ...