From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-2787
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata ; volume:24 ; number:4 ; day:23 ; month:7 ; year:2022 ; pages:635-659 ; date:8.2022
International journal on software tools for technology transfer ; 24, Heft 4 (23.7.2022), 635-659, 8.2022
- Urheber
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10009-022-00663-1
- URN
-
urn:nbn:de:101:1-2022101220101453980135
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:34 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Esparza, Javier
- Křetínský, Jan
- Raskin, Jean-François
- Sickert, Salomon
- SpringerLink (Online service)
Ähnliche Objekte (12)
Deterministic set automata
Constructing Deterministic Parity Automata from Positive and Negative Examples
Constructing Deterministic Parity Automata from Positive and Negative Examples
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata
Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata
Minimization of Deterministic Fuzzy Tree Automata
Deterministic automata for extended regular expressions
UNITY and Büchi automata
Fault-tolerant control of deterministic input/output automata
Buffered Simulation for Büchi Automata
Simulation relations for alternating Büchi automata
Deterministic set automata
Constructing Deterministic Parity Automata from Positive and Negative Examples
Constructing Deterministic Parity Automata from Positive and Negative Examples
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata
Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata
Minimization of Deterministic Fuzzy Tree Automata
Deterministic automata for extended regular expressions
UNITY and Büchi automata
Fault-tolerant control of deterministic input/output automata
Buffered Simulation for Büchi Automata
Simulation relations for alternating Büchi automata
Deterministic set automata
Constructing Deterministic Parity Automata from Positive and Negative Examples
Constructing Deterministic Parity Automata from Positive and Negative Examples
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata
Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata
Minimization of Deterministic Fuzzy Tree Automata
Deterministic automata for extended regular expressions
UNITY and Büchi automata
Fault-tolerant control of deterministic input/output automata
Buffered Simulation for Büchi Automata