research
∙
04/19/2023
On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata
Probabilistic pushdown automata (pPDA) are a natural operational model f...
share
research
∙
02/01/2023
Exact Probabilistic Inference Using Generating Functions
Probabilistic programs are typically normal-looking programs describing ...
research
∙
05/03/2022
Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions
We study discrete probabilistic programs with potentially unbounded loop...
research
∙
02/15/2022
Weighted Programming
We study weighted programming, a programming paradigm for specifying mat...
research
∙
11/05/2021
Model Checking Temporal Properties of Recursive Probabilistic Programs
Probabilistic pushdown automata (pPDA) are a standard operational model ...
research
∙
09/17/2021
Stochastic Games with Disjunctions of Multiple Objectives
Stochastic games combine controllable and adversarial non-determinism wi...
research
∙
08/10/2021
Stochastic Games with Disjunctions of Multiple Objectives (Technical Report)
Stochastic games combine controllable and adversarial non-determinism wi...
research
∙
11/02/2020
Out of Control: Reducing Probabilistic Models by Control-State Elimination
We present a new, simple technique to reduce state space sizes in probab...
research
∙
09/28/2020
The Complexity of Reachability in Parametric Markov Decision Processes
This article presents the complexity of reachability decision problems f...
research
∙
07/13/2020
Generating Functions for Probabilistic Programs
This paper investigates the usage of generating functions (GFs) encoding...
research
∙
05/08/2020
Stochastic Games with Lexicographic Reachability-Safety Objectives
We study turn-based stochastic zero-sum games with lexicographic prefere...
research
∙
04/02/2019