@article{klauck:etal:jair-20,
  author =       {Michaela Klauck and Marcel Steinmetz and J{\"o}rg Hoffmann and Holger Hermanns},
  title =        {Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison},
  journal   = jair,
  volume    = {68},
  pages     = {247--310},
  year = {2020},
}

@STRING{jair  = "Journal of Artificial Intelligence Research"}