Register games

MaRDI QIDQ5114824FDOQ5114824

Authors: Karoliina Lehtinen, Udi Boker 

Publication date: 26 June 2020

Full work available at URL: https://arxiv.org/abs/1902.10654

Recommendations

• A modal \(\mu\) perspective on solving parity games in quasi-polynomial time
• Parity Games: Zielonka's Algorithm in Quasi-Polynomial Time
• Deciding Parity Games in Quasi-polynomial Time
• Deciding parity games in quasipolynomial time
• A brief excursion to parity games

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites Work

• Entanglement and the complexity of directed graphs
• Solving parity games using an automata-based algorithm
• The Complexity of Tree Automata and Logics of Programs
• On Independent Circuits Contained in a Graph
• Taming past LTL and flat counter systems
• Regular languages of thin trees
• Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
• Testing and generating infinite sequences by a finite automaton
• Title not available (Why is that?)
• Weak alternating automata are not that weak
• Title not available (Why is that?)
• Title not available (Why is that?)
• Solving Games Without Determinization
• The modal mu-calculus alternation hierarchy is strict
• The Descriptive Complexity of Parity Games
• On alternating \(\omega\)-automata
• Succinct progress measures for solving parity games
• Title not available (Why is that?)
• Alternating Tree Automata and Parity Games
• Weak Kripke structures and LTL
• Deciding the first levels of the modal \(\mu\) alternation hierarchy by formula construction
• Bisimulation invariant monadic-second order logic in the finite
• Robust worst cases for parity games algorithms
• Recursive algorithm for parity games requires exponential time
• Automaton-Based Criteria for Membership in CTL

Cited In (7)

• Title not available (Why is that?)
• The Theory of Universal Graphs for Infinite Duration Games
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Parity games on temporal graphs
• Deposit games with reinvestment

This page was built for publication: Register games

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5114824)