19 search results - page 1 / 4 » Trace Equivalence Characterization Through Reinforcement Lea... |
AI
2006
Springer
14 years 2 months ago
2006
Springer
In the context of probabilistic verification, we provide a new notion of trace-equivalence divergence between pairs of Labelled Markov processes. This divergence corresponds to the...
ML
2011
ACM
13 years 1 months ago
2011
ACM
FSTTCS
2006
Springer
14 years 2 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...
ICML
2004
IEEE
14 years 11 months ago
2004
IEEE
Reinforcement learning deals with learning optimal or near optimal policies while interacting with the environment. Application domains with many continuous variables are difficul...
NECO
2007
13 years 10 months ago
2007
The persistent modification of synaptic efficacy as a function of the relative timing of pre- and postsynaptic spikes is a phenomenon known as spiketiming-dependent plasticity (...