Parity games separations and the modal µ-calculus - 8 Angebote vergleichen
Preise | Apr. 17 | März 19 | Okt. 19 |
---|---|---|---|
Schnitt | Fr. 12.71 (€ 13.00)¹ | Fr. 12.71 (€ 13.00)¹ | Fr. 14.09 (€ 14.41)¹ |
Nachfrage |
1
Parity games, separations, and the modal μ-calculus
~EN NW AB
ISBN: 9783798328877 bzw. 3798328870, vermutlich in Englisch, neu, Hörbuch.
Lieferung aus: Niederlande, Lieferzeit: 5 Tage, zzgl. Versandkosten.
The topics of this thesis are the modal μ-calculus and parity games. The modal μ-calculus is a common logic for model-checking in computer science. The model-checking problem of the modal μ-calculus is polynomial time equivalent to solving parity games, a 2-player game on labeled directed graphs. We present the first FPT algorithms (fixed-parameter tractable) for the model-checking problem of the modal μ-calculus on restricted classes of graphs, specifically on classes of bounded Kelly-width or bounded DAG-width. In this process we also prove a general decomposition theorem for the modal μ-calculus and define a useful notion of type for this logic. Then, assuming a class of parity games has a polynomial time algorithm solving it, we consider the problem of extending this algorithm to larger classes of parity games. In particular, we show that joining games, pasting games, or adding single vertices preserves polynomial-time solvability. It follows that parity games can be solved in polynomial time if their underlying undirected graph is a tournament, a complete bipartite graph, or a block graph. In the last chapter we present the first non-trivial formal proof about parity games. We explain a formal proof of positional determinacy of parity games in the proof assistant Isabelle/HOL.
The topics of this thesis are the modal μ-calculus and parity games. The modal μ-calculus is a common logic for model-checking in computer science. The model-checking problem of the modal μ-calculus is polynomial time equivalent to solving parity games, a 2-player game on labeled directed graphs. We present the first FPT algorithms (fixed-parameter tractable) for the model-checking problem of the modal μ-calculus on restricted classes of graphs, specifically on classes of bounded Kelly-width or bounded DAG-width. In this process we also prove a general decomposition theorem for the modal μ-calculus and define a useful notion of type for this logic. Then, assuming a class of parity games has a polynomial time algorithm solving it, we consider the problem of extending this algorithm to larger classes of parity games. In particular, we show that joining games, pasting games, or adding single vertices preserves polynomial-time solvability. It follows that parity games can be solved in polynomial time if their underlying undirected graph is a tournament, a complete bipartite graph, or a block graph. In the last chapter we present the first non-trivial formal proof about parity games. We explain a formal proof of positional determinacy of parity games in the proof assistant Isabelle/HOL.
2
Parity games separations and the modal µ-calculus
~EN PB NW
ISBN: 3798328870 bzw. 9783798328877, vermutlich in Englisch, Universitätsverlag TU Ber, Taschenbuch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
4
Parity games, separations, and the modal µ-calculus
~EN PB NW
ISBN: 9783798328877 bzw. 3798328870, vermutlich in Englisch, Universitätsverlag TU Ber, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
5
Symbolbild
Parity games, separations, and the modal µ-calculus (2017)
DE PB NW
ISBN: 9783798328877 bzw. 3798328870, in Deutsch, Universitätsverlag TU Ber Mrz 2017, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, Germany.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, Germany.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
6
| Parity games, separations, and the modal µ-calculus | Universitätsverlag TU Ber | 2017
~EN NW
ISBN: 9783798328877 bzw. 3798328870, vermutlich in Englisch, Universitätsverlag TU Ber, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
7
Parity games, separations, and the modal μ-calculus
~EN NW AB
ISBN: 9783798328877 bzw. 3798328870, vermutlich in Englisch, neu, Hörbuch.
Lieferung aus: Schweiz, Lieferzeit: 2 Tage, zzgl. Versandkosten.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
8
Parity games, separations, and the modal ?-calculus (2017)
DE PB NW
ISBN: 9783798328877 bzw. 3798328870, in Deutsch, 274 Seiten, Universitätsverlag der TU Berlin, Taschenbuch, neu.
Lieferung aus: Deutschland, Envío gratuito.
Von Händler/Antiquariat, verschiedene Anbieter.
2017, Taschenbuch, Neuware, 545g, 274.
Von Händler/Antiquariat, verschiedene Anbieter.
2017, Taschenbuch, Neuware, 545g, 274.
Lade…