conftrace_

robust analysis

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

controller synthesis (1) interval markov decision process (1) robust control (1) formal methods (1) epistemic uncertainty (1)

Papers

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