Undecidability of the Universality Problem for 3-State Integer Weighted Büchi Automata

: Vesa Halava, Tero Harju, Reino Niskanen, Igor Potapov

Publisher: TUCS Techinical Report 1105

: Turku

: 2014

 TUCS Publication Series

: 1105

: http://tucs.fi/publications/view/?pub_id=tHaHaNiPo14a