Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Thom S. Badings' in GoogleThis author has not been identified. Look up 'Licio Romao' in GoogleThis author has not been identified. Look up 'Alessandro Abate' in GoogleThis author has not been identified. Look up 'Nils Jansen 0001' in Google

runs on WebDSL