2 results
Laurent Doyen ; Jean-Francois Raskin.
We propose and evaluate antichain algorithms to solve the universality and language inclusion problems for nondeterministic Buechi automata, and the emptiness problem for alternating Buechi automata. To obtain those algorithms, we establish the existence of simulation pre-orders that can be […]
Published on March 2, 2009
Krishnendu Chatterjee ; Laurent Doyen ; Thomas A Henzinger.
Weighted automata are nondeterministic automata with numerical weights on transitions. They can define quantitative languages~$L$ that assign to each word~$w$ a real number~$L(w)$. In the case of infinite words, the value of a run is naturally computed as the maximum, limsup, liminf, limit-average, […]
Published on August 30, 2010