|
| volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 1 van 7 gevonden artikelen
| Titel: |
A Linear Time Special Case for MC Games |
| Auteur: |
Timo Poranen Jyrki Nummenmaa |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 50 (2003) nr. 3-4 pagina's 315-324 |
| Jaar: |
2003-07-11 |
| Inhoud: |
MC games are infinite duration two-player games played on graphs. Deciding the winner in MC games is equivalent to the the modal mu-calculus model checking. In this article we provide a linear time algorithm for a class of MC games. We show that, if all cycles in each strongly connected component of the game graph have at least one common vertex, the winner can be found in linear time. Our results hold also for parity games, which are equivalent to MC games. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 1 van 7 gevonden artikelen
| volgende >> |