FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4223488891> ?p ?o ?g. }

• W4223488891 endingPage "403" @default.
• W4223488891 startingPage "385" @default.
• W4223488891 abstract "Abstract The topic of this paper is the determinization problem of $$omega $$ <mml:math xmlns:mml=http://www.w3.org/1998/Math/MathML> <mml:mi>ω</mml:mi> </mml:math> -automata under the transition-based Emerson-Lei acceptance (called TELA), which generalizes all standard acceptance conditions and is defined using positive Boolean formulas. Such automata can be determinized by first constructing an equivalent generalized Büchi automaton (GBA), which is later determinized. The problem of constructing an equivalent GBA is considered in detail, and three new approaches of solving it are proposed. Furthermore, a new determinization construction is introduced which determinizes several GBA separately and combines them using a product construction. An experimental evaluation shows that the product approach is competitive when compared with state-of-the-art determinization procedures. The second part of the paper studies limit-determinization of TELA and we show that this can be done with a single-exponential blow-up, in contrast to the known double-exponential lower-bound for determinization. Finally, one version of the limit-determinization procedure yields good-for-MDP automata which can be used for quantitative probabilistic model checking." @default.
• W4223488891 created "2022-04-15" @default.
• W4223488891 creator A5003273762 @default.
• W4223488891 creator A5028850927 @default.
• W4223488891 creator A5060638367 @default.
• W4223488891 creator A5091344667 @default.
• W4223488891 date "2022-04-09" @default.
• W4223488891 modified "2023-09-26" @default.
• W4223488891 title "From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata" @default.
• W4223488891 cites W1108093586 @default.
• W4223488891 cites W1492929237 @default.
• W4223488891 cites W1523885398 @default.
• W4223488891 cites W1599236338 @default.
• W4223488891 cites W1862398452 @default.
• W4223488891 cites W1972203711 @default.
• W4223488891 cites W1975657455 @default.
• W4223488891 cites W2016206563 @default.
• W4223488891 cites W2050073538 @default.
• W4223488891 cites W2076284895 @default.
• W4223488891 cites W2091750535 @default.
• W4223488891 cites W2107209406 @default.
• W4223488891 cites W2146706022 @default.
• W4223488891 cites W2165161585 @default.
• W4223488891 cites W2168605507 @default.
• W4223488891 cites W2295849114 @default.
• W4223488891 cites W2346095506 @default.
• W4223488891 cites W2487186542 @default.
• W4223488891 cites W2522043470 @default.
• W4223488891 cites W2753796405 @default.
• W4223488891 cites W2892537867 @default.
• W4223488891 cites W2915162036 @default.
• W4223488891 cites W2977631757 @default.
• W4223488891 cites W2981326863 @default.
• W4223488891 cites W2981424294 @default.
• W4223488891 cites W2982539700 @default.
• W4223488891 cites W3021883687 @default.
• W4223488891 cites W3042859643 @default.
• W4223488891 cites W3091984022 @default.
• W4223488891 cites W3208208968 @default.
• W4223488891 cites W42425946 @default.
• W4223488891 cites W4289761305 @default.
• W4223488891 cites W986424706 @default.
• W4223488891 doi "https://doi.org/10.1007/s11334-022-00445-7" @default.
• W4223488891 hasPublicationYear "2022" @default.
• W4223488891 type Work @default.
• W4223488891 citedByCount "0" @default.
• W4223488891 crossrefType "journal-article" @default.
• W4223488891 hasAuthorship W4223488891A5003273762 @default.
• W4223488891 hasAuthorship W4223488891A5028850927 @default.
• W4223488891 hasAuthorship W4223488891A5060638367 @default.
• W4223488891 hasAuthorship W4223488891A5091344667 @default.
• W4223488891 hasBestOaLocation W42234888911 @default.
• W4223488891 hasConcept C112505250 @default.
• W4223488891 hasConcept C11413529 @default.
• W4223488891 hasConcept C118615104 @default.
• W4223488891 hasConcept C134306372 @default.
• W4223488891 hasConcept C151201525 @default.
• W4223488891 hasConcept C151376022 @default.
• W4223488891 hasConcept C154945302 @default.
• W4223488891 hasConcept C2524010 @default.
• W4223488891 hasConcept C33923547 @default.
• W4223488891 hasConcept C41008148 @default.
• W4223488891 hasConcept C48103436 @default.
• W4223488891 hasConcept C49937458 @default.
• W4223488891 hasConcept C80444323 @default.
• W4223488891 hasConcept C90673727 @default.
• W4223488891 hasConceptScore W4223488891C112505250 @default.
• W4223488891 hasConceptScore W4223488891C11413529 @default.
• W4223488891 hasConceptScore W4223488891C118615104 @default.
• W4223488891 hasConceptScore W4223488891C134306372 @default.
• W4223488891 hasConceptScore W4223488891C151201525 @default.
• W4223488891 hasConceptScore W4223488891C151376022 @default.
• W4223488891 hasConceptScore W4223488891C154945302 @default.
• W4223488891 hasConceptScore W4223488891C2524010 @default.
• W4223488891 hasConceptScore W4223488891C33923547 @default.
• W4223488891 hasConceptScore W4223488891C41008148 @default.
• W4223488891 hasConceptScore W4223488891C48103436 @default.
• W4223488891 hasConceptScore W4223488891C49937458 @default.
• W4223488891 hasConceptScore W4223488891C80444323 @default.
• W4223488891 hasConceptScore W4223488891C90673727 @default.
• W4223488891 hasFunder F4320320879 @default.
• W4223488891 hasIssue "3" @default.
• W4223488891 hasLocation W42234888911 @default.
• W4223488891 hasOpenAccess W4223488891 @default.
• W4223488891 hasPrimaryLocation W42234888911 @default.
• W4223488891 hasRelatedWork W1513077802 @default.
• W4223488891 hasRelatedWork W1516852392 @default.
• W4223488891 hasRelatedWork W1573261754 @default.
• W4223488891 hasRelatedWork W1979390054 @default.
• W4223488891 hasRelatedWork W2044753318 @default.
• W4223488891 hasRelatedWork W2100326215 @default.
• W4223488891 hasRelatedWork W2126214140 @default.
• W4223488891 hasRelatedWork W2514822958 @default.
• W4223488891 hasRelatedWork W2752804549 @default.
• W4223488891 hasRelatedWork W2989856703 @default.
• W4223488891 hasVolume "18" @default.
• W4223488891 isParatext "false" @default.
• W4223488891 isRetracted "false" @default.

• next