Index appearance record with preorders
From MaRDI portal
Publication:2675810
DOI10.1007/s00236-021-00412-yOpenAlexW4200157937MaRDI QIDQ2675810
Tobias Meggendorfer, Clara Waldmann, Jan Křetínský, Maximilian Weininger
Publication date: 26 September 2022
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00236-021-00412-y
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Experiments with deterministic \(\omega\)-automata for formulas of linear temporal logic
- Infinite games on finitely coloured graphs with applications to automata on infinite trees
- From LTL to deterministic automata. A safraless compositional approach
- Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis
- Index Appearance Record for Transforming Rabin Automata into Parity Automata
- Rabinizer 3: Safraless Translation of LTL to Small Deterministic Automata
- Tighter Bounds for the Determinisation of Büchi Automata
- Solving Parity Games in Practice
- Propositional dynamic logic of looping and converse is elementarily decidable
- State-strategies for games in Fσδ ∩ Gδσ
- Determinization and Complementation of Streett Automata
- Limit-Deterministic Büchi Automata for Linear Temporal Logic
- One Theorem to Rule Them All
- Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment
- Deterministic generators and games for Ltl fragments
- From Nondeterministic B\"uchi and Streett Automata to Deterministic Parity Automata
- Decidability of Second-Order Theories and Automata on Infinite Trees
- Verification, Model Checking, and Abstract Interpretation
- Owl: a library for \(\omega \)-words, automata, and LTL
