Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
In other projects
Discussion
View history
Purge
English
Log in
No label defined
(Q3384171)
From MaRDI portal
Jump to:
navigation
,
search
scientific article
Language
Label
Description
Also known as
English
No label defined
scientific article
Statements
instance of
scholarly article
0 references
zbMATH Open document ID
1483.68177
0 references
author
David Müller
0 references
Salomon Sickert
0 references
publication date
14 December 2021
0 references
full work available at URL
https://arxiv.org/abs/1709.02102
0 references
http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF2017.13
0 references
Mathematics Subject Classification ID
68Q45
0 references
03B44
0 references
03D05
0 references
68Q60
0 references
zbMATH DE Number
7445166
0 references
describes a project that uses
MoChiBA
0 references
MaRDI profile type
MaRDI publication profile
0 references
arXiv ID
1709.02102
0 references
cites work
Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment
0 references
Markov Chains and Unambiguous Büchi Automata
0 references
The complexity of probabilistic verification
0 references
From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata
0 references
From LTL to deterministic automata. A safraless compositional approach
0 references
Q4536600
0 references
A Modular Approach for Büchi Determinization.
0 references
Q4551134
0 references
Lazy probabilistic model checking without determinisation
0 references
Computer science logic. 20th international workshop, CSL 2006, 15th annual conference of the EACSL, Szeged, Hungary, September 25--29, 2006. Proceedings.
0 references
Complementation, Disambiguation, and Determinization of Büchi Automata Unified
0 references
Experiments with deterministic \(\omega\)-automata for formulas of linear temporal logic
0 references
On-the-Fly Stuttering in the Construction of Deterministic ω-Automata
0 references
Are Good-for-Games Automata Good for Probabilistic Model Checking?
0 references
Safraless Compositional Synthesis
0 references
From LTL to Symbolically Represented Deterministic Automata
0 references
Q5151002
0 references
From Nondeterministic B\"uchi and Streett Automata to Deterministic Parity Automata
0 references
An Improved Construction of Deterministic Omega-automaton Using Derivatives
0 references
Tighter Bounds for the Determinisation of Büchi Automata
0 references
Limit-Deterministic Büchi Automata for Linear Temporal Logic
0 references
Q2754087
0 references
Sitelinks
Mathematics
(1 entry)
mardi
Publication:3384171
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
Concept URI
