scientific article; zbMATH DE number 1775458
From MaRDI portal
Publication:4542592
zbMath1005.68525MaRDI QIDQ4542592
Moshe Y. Vardi, Orna Kupferman
Publication date: 19 February 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (29)
Graph Games and Reactive Synthesis ⋮ Dicing on the Streett ⋮ Automata-theoretic decision of timed games ⋮ Robust worst cases for parity games algorithms ⋮ Reasoning About Strategies ⋮ A survey of stochastic \(\omega \)-regular games ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity ⋮ Solving parity games via priority promotion ⋮ Alternating-time temporal logics with linear past ⋮ Answering regular path queries in expressive description logics via alternating tree-automata ⋮ Bridging the gap between fair simulation and trace inclusion ⋮ Unnamed Item ⋮ A delayed promotion policy for parity games ⋮ The alternation hierarchy in fixpoint logic with chop is strict too ⋮ The Complexity of CTL* + Linear Past ⋮ Unnamed Item ⋮ On the Way to Alternating Weak Automata ⋮ Solving Parity Games Using an Automata-Based Algorithm ⋮ Unnamed Item ⋮ Relating word and tree automata ⋮ Fair simulation
This page was built for publication: