Talk Author Index

TALK AUTHOR INDEX

Shortcuts: A B D G H J K M P R S T W

A
Abate, Alessandro	Safe Sampling-Based Planning for Stochastic Systems with Uncertain Dynamics
Abraham, Erika	Probabilistic Hyperproperties
B
Badings, Thom	Safe Sampling-Based Planning for Stochastic Systems with Uncertain Dynamics
D
Dahlqvist, Fredrik	Deterministic stream-sampling for probabilistic programming: semantics and verification
G
Giesl, Jürgen	Inferring Expected Runtimes and Sizes
H
Haas, Thomas	Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games
Hark, Marcel	Inferring Expected Runtimes and Sizes
Hasuo, Ichiro	Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games
J
Jansen, Nils	Safe Sampling-Based Planning for Stochastic Systems with Uncertain Dynamics
K
Kappé, Tobias	Probabilistic Guarded Kleene Algebra with Tests
Klinkenberg, Lutz	Verifying Probabilistic Programs using Generating Functions
M
Meel, Kuldeep	Distribution Testing and Probabilistic Programming: A Match made in Heaven
Meyer, Eleanore	Inferring Expected Runtimes and Sizes
P
Parker, Dave	Safe Sampling-Based Planning for Stochastic Systems with Uncertain Dynamics
Phalakarn, Kittiphon	Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games
Poonawala, Hasan	Safe Sampling-Based Planning for Stochastic Systems with Uncertain Dynamics
Putot, Sylvie	Uncertainty propagation in discrete-time systems using probabilistic forms
R
Romao, Licio	Safe Sampling-Based Planning for Stochastic Systems with Uncertain Dynamics
Rozowski, Wojciech	Probabilistic Guarded Kleene Algebra with Tests
S
Schmid, Todd	Probabilistic Guarded Kleene Algebra with Tests
Schröer, Philipp	A Quantitative Verification Infrastructure
Silva, Alexandra	Deterministic stream-sampling for probabilistic programming: semantics and verification Probabilistic Guarded Kleene Algebra with Tests
Smith, William	Deterministic stream-sampling for probabilistic programming: semantics and verification
Stoelinga, Marielle	Safe Sampling-Based Planning for Stochastic Systems with Uncertain Dynamics
T
Takisaka, Toru	Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games
W
Wasowski, Andrzej	Quantifying Leakage in Privacy Risk Analysis using Probabilistic Programming