FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

This page contains an index consisting of author-provided keywords.

A
Automatic Complexity Analysis	Inferring Expected Runtimes and Sizes
Autonomous systems	Safe Sampling-Based Planning for Stochastic Systems with Uncertain Dynamics
B
bounded value iteration	Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games
C
coalgebra	Probabilistic Guarded Kleene Algebra with Tests
D
Denotational semantics	Verifying Probabilistic Programs using Generating Functions
E
Expected Runtimes	Inferring Expected Runtimes and Sizes
Expected Sizes	Inferring Expected Runtimes and Sizes
F
Finite-state abstractions	Safe Sampling-Based Planning for Stochastic Systems with Uncertain Dynamics
fixed point	Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games
G
Generating functions	Verifying Probabilistic Programs using Generating Functions
K
Kleene Algebra	Probabilistic Guarded Kleene Algebra with Tests
L
Linear dynamical systems	Safe Sampling-Based Planning for Stochastic Systems with Uncertain Dynamics
M
modular reasoning	A Quantitative Verification Infrastructure
monte carlo	Deterministic stream-sampling for probabilistic programming: semantics and verification
O
operational and denotational semantics	Deterministic stream-sampling for probabilistic programming: semantics and verification
P
Planning under uncertainty	Safe Sampling-Based Planning for Stochastic Systems with Uncertain Dynamics
Positive Almost Sure Termination	Inferring Expected Runtimes and Sizes
probabilistic automata	Probabilistic Guarded Kleene Algebra with Tests
Probabilistic Integer Programs	Inferring Expected Runtimes and Sizes
Probabilistic model checking	Safe Sampling-Based Planning for Stochastic Systems with Uncertain Dynamics
probabilistic programming	Deterministic stream-sampling for probabilistic programming: semantics and verification
Probabilistic programs	A Quantitative Verification Infrastructure Verifying Probabilistic Programs using Generating Functions
probabilistic verification	Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games
Program equivalence	Verifying Probabilistic Programs using Generating Functions
Q
Quantitative verification	Verifying Probabilistic Programs using Generating Functions
S
sampling	Deterministic stream-sampling for probabilistic programming: semantics and verification
semantics of programming languages	Probabilistic Guarded Kleene Algebra with Tests
stochastic game	Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games
T
TBA1	Probabilistic Hyperproperties Distribution Testing and Probabilistic Programming: A Match made in Heaven Quantifying Leakage in Privacy Risk Analysis using Probabilistic Programming Uncertainty propagation in discrete-time systems using probabilistic forms
TBA2	Probabilistic Hyperproperties Distribution Testing and Probabilistic Programming: A Match made in Heaven Quantifying Leakage in Privacy Risk Analysis using Probabilistic Programming Uncertainty propagation in discrete-time systems using probabilistic forms
TBA3	Probabilistic Hyperproperties Distribution Testing and Probabilistic Programming: A Match made in Heaven Quantifying Leakage in Privacy Risk Analysis using Probabilistic Programming Uncertainty propagation in discrete-time systems using probabilistic forms
V
value iteration	Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games
Verification	Deterministic stream-sampling for probabilistic programming: semantics and verification
verification conditions	A Quantitative Verification Infrastructure
verification infrastructures	A Quantitative Verification Infrastructure
verification of probabilistic programs	Probabilistic Guarded Kleene Algebra with Tests

Disclaimer | Powered by EasyChair Smart Program