@misc{indiciae17e5c6852cd9,
  title = {Satisfiability Bounds for \$ω\$-Regular Properties in Bounded-Parameter Markov Decision Processes},
  author = {Jan Křetínský and Tobias Meggendorfer and Maximilian Weininger},
  year = {2022},
  doi = {10.1109/cdc40024.2019.9029460},
  url = {https://arxiv.org/abs/2207.13660},
  note = {Source identifier: 2207.13660}
}