research
∙
07/28/2022
On the Sequential Probability Ratio Test in Hidden Markov Models
We consider the Sequential Probability Ratio Test applied to Hidden Mark...
share
research
∙
03/22/2022
Strategy Complexity of Reachability in Countable Stochastic 2-Player Games
We study countably infinite stochastic 2-player games with reachability ...
research
∙
10/01/2021
Approximate Bisimulation Minimisation
We propose polynomial-time algorithms to minimise labelled Markov chains...
research
∙
09/19/2021
Lower Bounds on Unambiguous Automata Complementation and Separation via Communication Complexity
We use results from communication complexity, both new and old ones, to ...
research
∙
07/04/2021
Linear-Time Model Checking Branching Processes
(Multi-type) branching processes are a natural and well-studied model fo...
research
∙
02/12/2021
Responsibility and verification: Importance value in temporal logics
We aim at measuring the influence of the nondeterministic choices of a p...
research
∙
12/26/2020
Transience in Countable MDPs
The Transience objective is not to visit any state infinitely often. Whi...
research
∙
09/27/2020
Equivalence of Hidden Markov Models with Continuous Observations
We consider Hidden Markov Models that emit sequences of observations tha...
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
∙
07/07/2020
Strategy Complexity of Parity Objectives in Countable MDPs
We study countably infinite MDPs with parity objectives. Unlike in finit...
research
∙
05/13/2019
On Semigroups of Two-Dimensional Upper-Triangular Integer Matrices
We analyze algorithmic problems in finitely generated semigroups of two-...
research
∙
07/13/2018
On the Complexity of Value Iteration
Value iteration is a fundamental algorithm for solving Markov Decision P...
research
∙
07/13/2018
On the Complexity of Iterative Tropical Computation with Applications to Markov Decision Processes
We study the complexity of evaluating powered functions implemented by s...
research
∙
06/15/2018
Selective Monitoring
We study selective monitors for labelled Markov chains. Monitors observe...
research
∙
04/17/2018
On Computing the Total Variation Distance of Hidden Markov Models
We prove results on the decidability and complexity of computing the tot...
research
∙
11/16/2017