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




Vesa Halava, Tero Harju, Reino Niskanen, Igor Potapov

PublisherTUCS Techinical Report 1105

Turku

2014

TUCS Publication Series

1105

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




Last updated on 2024-26-11 at 16:46