Verification of Markov Decision Processes using Learning Algorithms (bibtex)
by Krishnendu Chatterjee Martin Chmelik Vojtech Forejt Jan Kretinsky Marta Z. Kwiatkowska David Parker Tomas Brazdil, Mateusz Ujma
Reference:
Verification of Markov Decision Processes using Learning AlgorithmsKrishnendu Chatterjee Martin Chmelik Vojtech Forejt Jan Kretinsky Marta Z. Kwiatkowska David Parker Tomas Brazdil, Mateusz UjmaATVA, 2014.
Bibtex Entry:
@inproceedings{LKJO,
  author    = {Tomas Brazdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretinsky, Marta Z. Kwiatkowska, David Parker, and Mateusz Ujma},
  title     = {Verification of Markov Decision Processes using Learning Algorithms},
  booktitle = {ATVA},
  year      = {2014},
  url       = {http://arxiv.org/abs/1402.2967}
}
Powered by bibtexbrowser