Sciweavers

FSTTCS   2006 Foundations of Software Technology and Theoretical Computer Science
Wall of Fame | Most Viewed FSTTCS-2006 Paper
FSTTCS
2006
Springer
14 years 1 months ago
Testing Probabilistic Equivalence Through Reinforcement Learning
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...
Josee Desharnais, François Laviolette, Sami...
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source149
2Download preprint from source149
3Download preprint from source143
4Download preprint from source131
5Download preprint from source126
6Download preprint from source126
7Download preprint from source121
8Download preprint from source117
9Download preprint from source117
10Download preprint from source115
11Download preprint from source108
12Download preprint from source106
13Download preprint from source105
14Download preprint from source101
15Download preprint from source96
16Download preprint from source92
17Download preprint from source91
18Download preprint from source89
19Download preprint from source88
20Download preprint from source88
21Download preprint from source85
22Download preprint from source81
23Download preprint from source79
24Download preprint from source79
25Download preprint from source70
26Download preprint from source70
27Download preprint from source61