@inproceedings{CubuktepeJJKT18,
 author    = {Murat Cubuktepe and
              Nils Jansen and
              Sebastian Junges and
              Joost{-}Pieter Katoen and
              Ufuk Topcu},
 title     = {Synthesis in pMDPs: {A} Tale of 1001 Parameters},
 booktitle = {{ATVA}},
 series    = {Lecture Notes in Computer Science},
 volume    = {11138},
 pages     = {160--176},
 publisher = {Springer},
 year      = {2018}
}