From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History) Determinism
We study transformations of automata and games using Muller conditions into equivalent ones using parity or Rabin conditions. We present two transformations, one that turns a deterministic Muller automaton into an equivalent deterministic parity automaton, and another that provides an equivalent his...
Gardado en:
| Principais autores: | , , , |
|---|---|
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado: |
TheoretiCS Foundation e.V.
2024-04-01
|
| Series: | TheoretiCS |
| Assuntos: | |
| Acceso en liña: | http://theoretics.episciences.org/11336/pdf |
| Tags: |
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|