Research Blog
Games Automata Play
Parity games
Upper and lower bounds for universal trees
Research
Advice
Learning theory
Fliess' theorem for minimising weighted automata
Learning theory
Angluin's style learning for weighted automata
Automata
The universality problem for automata with bounded ambiguity
Parity games
Value iteration for parity games
Weighted automata
Boundedness for (min,plus)-automata
Parity games
The interplay between parity games and universal trees
Learning theory
Weighted automata and matrix factorisations
Weighted automata
A polynomial time algorithm for the equivalence problem of weighted automata over a field
Research