research
∙
05/19/2021
Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR
In this paper we revisit the topic of generalizing proof obligations in ...
share
research
∙
07/16/2020
Strengthening Deterministic Policies for POMDPs
The synthesis problem for partially observable Markov decision processes...
research
∙
07/12/2019
A Multi-Media Exchange Format for Time-Series Dataset Curation
Exchanging data as character-separated values (CSV) is slow, cumbersome ...
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
∙
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