conftrace_

probabilistic system

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

dependency quantified boolean formula (1) decentralized partially observable markov decision process (1) stochastic boolean satisfiability (1) quantified boolean formula (1) decentralized pomdp (1) model checking (1) probabilistic planning (1) computational complexity (1)

Papers

Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty AAAI 2021