TY  - RPRT
TI  - A Quasi-Linear Time Algorithm Deciding Whether Weak Büchi Automata Reading Vectors of Reals Recognize Saturated Languages
AU  - Arthur Milchior
PY  - 2017
UR  - https://arxiv.org/abs/1703.04834
ID  - 1703.04834
ER  -