conftrace_

interval markov decision process

4 papers

Explore in graph

Also known as

IMDP

Co-occurring keywords · papers mentioning both

robust control (2) stochastic system (2) stochastic dynamical system (1) probabilistic guarantee (1) controller synthesis (1) non-gaussian noise (1) probably approximately correct (1) sampling-based control (1) finite-state abstraction (1) robust analysis (1)

Papers

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems L4DC 2025 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