research
∙
01/12/2023
Incremental Dead State Detection in Logarithmic Time
Identifying live and dead states in an abstract transition system is a r...
share
research
∙
10/04/2019
Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report)
We propose an efficient algorithm for determinising counting automata (C...
research
∙
07/23/2018
