conftrace_

scenario approach

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

probabilistic computation tree logic (1) sampling and discarding (1) parametric uncertainty (1) probabilistic guarantee (1) robust policy synthesis (1) scenario optimization (1) probabilistic bound (1) constraint violation (1) sampling method (1) optimization under uncertainty (1)

Papers

Learning robust policies for uncertain parametric Markov decision processes L4DC 2024 Tight sampling and discarding bounds for scenario programs with an arbitrary number of removed samples L4DC 2021