Thom S. Badings, Licio Romao, Alessandro Abate, Nils Jansen 0001. Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty. In Brian Williams 0001, Yiling Chen 0001, Jennifer Neville, editors, Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023. pages 14701-14710, AAAI Press, 2023. [doi]
@inproceedings{BadingsRA023, title = {Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty}, author = {Thom S. Badings and Licio Romao and Alessandro Abate and Nils Jansen 0001}, year = {2023}, url = {https://ojs.aaai.org/index.php/AAAI/article/view/26718}, researchr = {https://researchr.org/publication/BadingsRA023}, cites = {0}, citedby = {0}, pages = {14701-14710}, booktitle = {Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023}, editor = {Brian Williams 0001 and Yiling Chen 0001 and Jennifer Neville}, publisher = {AAAI Press}, isbn = {978-1-57735-880-0}, }