@inproceedings{044a0581a024438caa23ad0a919d2273,
title = "Trace equivalence characterization through reinforcement learning",
abstract = "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 optimal value of a particular derived Markov Decision Process. It can therefore be estimated by Reinforcement Learning methods. Moreover, we provide some PAC-guarantees on this estimation.",
author = "Jos{\'e}e Desharnais and Fran{\c c}ois Laviolette and Moturu, \{Krishna Priya Darsini\} and Sami Zhioua",
year = "2006",
month = jan,
day = "1",
doi = "10.1007/11766247\_32",
language = "English",
isbn = "3540346287",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "371--382",
booktitle = "Advances in Artificial Intelligence - 19th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2006, Proceedings",
note = "19th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2006 ; Conference date: 07-06-2006 Through 09-06-2006",
}