research
∙
03/25/2023
Using Unit Propagation with Universal Reduction in DQBF Preprocessing
Several effective preprocessing techniques for Boolean formulas with and...
share
research
∙
07/16/2020
Strengthening Deterministic Policies for POMDPs
The synthesis problem for partially observable Markov decision processes...
research
∙
05/12/2019
Quantifier Localization for DQBF
Dependency quantified Boolean formulas (DQBFs) are a powerful formalism,...
research
∙
03/20/2019
Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks
We study strategy synthesis for partially observable Markov decision pro...
research
∙
02/27/2018
Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes
We study planning problems where autonomous agents operate inside enviro...
research
∙
10/24/2017
Permissive Finite-State Controllers of POMDPs using Parameter Synthesis
We study finite-state controllers (FSCs) for partially observable Markov...
research
∙
08/14/2017