From Nondeterministic B\"uchi and Streett Automata to Deterministic Parity Automata

From MaRDI portal
Publication:5426071

DOI10.2168/LMCS-3(3:5)2007zbMath1125.68067MaRDI QIDQ5426071

Nir Piterman

Publication date: 15 November 2007

Published in: Logical Methods in Computer Science (Search for Journal in Brave)




Related Items (46)

Ramsey-Based Inclusion Checking for Visibly Pushdown AutomataEquilibria for games with combined qualitative and quantitative objectivesFrom LTL to deterministic automata. A safraless compositional approachGood-for-MDPs Automata for Probabilistic Analysis and Reinforcement LearningLooking at mean payoff through foggy windowsSymmetric Strategy ImprovementAutomata Theory and Model CheckingThe mu-calculus and Model CheckingLinear temporal logic -- from infinite to finite horizonMulti-Valued Reasoning about Reactive SystemsFrom Parity and Payoff Games to Linear ProgrammingSolving parity games in big stepsDeciding Parity Games in Quasi-polynomial TimeSafraless LTL synthesis considering maximal realizabilityUnnamed ItemIndex appearance record with preordersA survey on satisfiability checking for the \(\mu \)-calculus through tree automataReasoning about Quality and Fuzziness of Strategic BehaviorsProfile trees for Büchi word automata, with application to determinizationSynthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity GamesJustifications and a reconstruction of parity game solving algorithmsRealizability problem for constraint LTLUnnamed ItemAutomated temporal equilibrium analysis: verification and synthesis of multi-player gamesAntichains and compositional algorithms for LTL synthesisSymbolic bounded synthesisNew Optimizations and Heuristics for Determinization of Büchi AutomataSemantic Labelling and Learning for Parity Game Solving in LTL SynthesisSynthesis of Data Word TransducersFrom LTL and Limit-Deterministic Büchi Automata to Deterministic Parity AutomataIndex Appearance Record for Transforming Rabin Automata into Parity AutomataOn relative and probabilistic finite counterabilityOpacity for linear constraint Markov chainsReactive synthesis without regretDoomsday equilibria for omega-regular gamesA tighter analysis of Piterman's Büchi determinizationFrom LTL to Symbolically Represented Deterministic AutomataTighter Bounds for the Determinisation of Büchi AutomataLower Bounds on Witnesses for Nonemptiness of Universal Co-Büchi AutomataState of Büchi ComplementationProgram repair without regretRealizability of Real-Time Logics\( \omega \)-automataModel Checking Omega-regular Properties for Quantum Markov ChainsRabin vs. Streett AutomataGood-for-Game QPTL: An Alternating Hodges Semantics




This page was built for publication: From Nondeterministic B\"uchi and Streett Automata to Deterministic Parity Automata