2022 12 Aaai
Our paper “Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty” has been accepted for presentation at AAAI 2023.
Our paper “Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty” has been accepted for presentation at AAAI 2023.