172 search results - page 3 / 35 » Testing Reactive Probabilistic Processes |
JACM
2007
13 years 6 months ago
2007
FSTTCS
2006
Springer
13 years 9 months ago
2006
Springer
We propose a new approach to verification of probabilistic processes for which the model may not be available. We use a technique from Reinforcement Learning to approximate how far...
CIDM
2007
IEEE
14 years 11 days ago
2007
IEEE
— To generate plans for collecting data for data mining, an important problem is information volatility during planning: the information needed by the planning system may change ...
ENTCS
2008
13 years 6 months ago
2008
This paper presents the language Lutin and its operational semantics. This language specifically targets the domain of reactive systems, where an execution is a (virtually) infini...
FOSSACS
2010
Springer
14 years 26 days ago
2010
Springer
Abstract. This paper considers the probabilistic may/must testing theory for processes having external, internal, and probabilistic choices. We observe that the underlying testing ...