Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty

Badings et al. "Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty." AAAI Conference on Artificial Intelligence, 2023. doi:10.1609/AAAI.V37I12.26718

[Badings et al. "Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty." AAAI Conference on Artificial Intelligence, 2023.](https://mlanthology.org/aaai/2023/badings2023aaai-probabilities/) doi:10.1609/AAAI.V37I12.26718

@inproceedings{badings2023aaai-probabilities,
  title     = {{Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty}},
  author    = {Badings, Thom and Romao, Licio and Abate, Alessandro and Jansen, Nils},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2023},
  pages     = {14701-14710},
  doi       = {10.1609/AAAI.V37I12.26718},
  url       = {https://mlanthology.org/aaai/2023/badings2023aaai-probabilities/}
}