research
∙
07/23/2023
Saturating automata for game semantics
Saturation is a fundamental game-semantic property satisfied by strategi...
share
research
∙
05/26/2023
Exact Bayesian Inference on Discrete Models via Probability Generating Functions: A Probabilistic Programming Approach
We present an exact Bayesian inference method for discrete statistical m...
research
∙
01/21/2021
Leafy Automata for Higher-Order Concurrency
Finitary Idealized Concurrent Algol (FICA) is a prototypical programming...
research
∙
01/21/2021
Complete trace models of state and control
We consider a hierarchy of four typed call-by-value languages with eithe...
research
∙
10/13/2020
Collapsible Pushdown Parity Games
This paper studies a large class of two-player perfect-information turn-...
research
∙
07/15/2020
The Big-O Problem for Labelled Markov Chains and Weighted Automata
Given two weighted automata, we consider the problem of whether one is b...
research
∙
05/13/2020
Bisimilarity in fresh-register automata
Register automata are a basic model of computation over infinite alphabe...
research
∙
07/26/2018