conftrace_

interval markov decision process

3 papers

Explore in graph

Also known as

IMDP

Co-occurring keywords

robust control (56) probabilistic guarantee (18) controller synthesis (21) non-gaussian noise (8) sampling-based control (3) robust analysis (1) stochastic dynamical system (12) non-parametric estimation (23) autonomous system (63) temporal logic (105)

Papers

Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation AISTATS 2024
Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty AAAI 2023
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise AAAI 2022