Skip to content
conftrace_

probabilistic computation tree logic

1 paper

Explore in graph

Also known as

PCTL

Co-occurring keywords · papers mentioning both

scenario approach (1) parametric uncertainty (1) robust policy synthesis (1) markov decision process (1)

Papers

Learning robust policies for uncertain parametric Markov decision processes L4DC 2024