Stamina: Stabilisation Monoids in Automata Theory

Nathanaël Fijalkow, Hugo Gimbert, Edon Kelmendi, Denis Kuperberg. Stamina: Stabilisation Monoids in Automata Theory. In Arnaud Carayol, Cyril Nicaud, editors, Implementation and Application of Automata - 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings. Volume 10329 of Lecture Notes in Computer Science, pages 101-112, Springer, 2017. [doi]

Abstract

Abstract is missing.