BibTeX record conf/qestformats/ComeFH24

download as .bib file

@inproceedings{DBLP:conf/qestformats/ComeFH24,
  author       = {Aymeric C{\^{o}}me and
                  {\'{E}}ric Fabre and
                  Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t},
  editor       = {Jane Hillston and
                  Sadegh Soudjani and
                  Masaki Waga},
  title        = {A Floyd-Warshall Approach to Value Computation in Markov Decision
                  Processes},
  booktitle    = {Quantitative Evaluation of Systems and Formal Modeling and Analysis
                  of Timed Systems - First International Joint Conference, {QEST+FORMATS}
                  2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14996},
  pages        = {284--301},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-68416-6\_17},
  doi          = {10.1007/978-3-031-68416-6\_17},
  timestamp    = {Thu, 03 Oct 2024 00:45:09 +0200},
  biburl       = {https://dblp.org/rec/conf/qestformats/ComeFH24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}