FRINK Linked Data Fragments server

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

• W2024214277 endingPage "121" @default.
• W2024214277 startingPage "107" @default.
• W2024214277 abstract "The determinization of Buchi automata is a celebrated problem, with applications in synthesis, probabilistic verification, and multi-agent systems. Since the 1960s, there has been a steady progress of constructions: by McNaughton, Safra, Piterman, Schewe, and others. Despite the proliferation of solutions, they are all essentially ad-hoc constructions, with little theory behind them other than proofs of correctness. Since Safra, all optimal constructions employ trees as states of the deterministic automaton, and transitions between states are defined operationally over these trees. The operational nature of these constructions complicates understanding, implementing, and reasoning about them, and should be contrasted with complementation, where a solid theory in terms of automata run DAGs underlies modern constructions. In 2010, we described a profile-based approach to Buchi complementation, where a profile is simply the history of visits to accepting states. We developed a structural theory of profiles and used it to describe a complementation construction that is deterministic in the limit. Here we extend the theory of profiles to prove that every run DAG contains a profile tree with at most a finite number of infinite branches. We then show that this property provides a theoretical grounding for a new determinization construction where macrostates are doubly preordered sets of states. In contrast to extant determinization constructions, transitions in the new construction are described declaratively rather than operationally." @default.
• W2024214277 created "2016-06-24" @default.
• W2024214277 creator A5000059818 @default.
• W2024214277 creator A5017354172 @default.
• W2024214277 creator A5077429082 @default.
• W2024214277 creator A5084744032 @default.
• W2024214277 date "2013-07-16" @default.
• W2024214277 modified "2023-10-16" @default.
• W2024214277 title "Profile Trees for Büchi Word Automata, with Application to Determinization" @default.
• W2024214277 cites W104640233 @default.
• W2024214277 cites W117768600 @default.
• W2024214277 cites W1528149868 @default.
• W2024214277 cites W1529546258 @default.
• W2024214277 cites W1550751956 @default.
• W2024214277 cites W1562442213 @default.
• W2024214277 cites W1846242859 @default.
• W2024214277 cites W1964626357 @default.
• W2024214277 cites W1972203711 @default.
• W2024214277 cites W2016206563 @default.
• W2024214277 cites W2031592188 @default.
• W2024214277 cites W2048905609 @default.
• W2024214277 cites W2054801208 @default.
• W2024214277 cites W2059045337 @default.
• W2024214277 cites W2076284895 @default.
• W2024214277 cites W2085653536 @default.
• W2024214277 cites W2094912129 @default.
• W2024214277 cites W2124285023 @default.
• W2024214277 cites W2150447589 @default.
• W2024214277 cites W2161218627 @default.
• W2024214277 cites W2165161585 @default.
• W2024214277 cites W2952908521 @default.
• W2024214277 cites W2963378790 @default.
• W2024214277 cites W4246764629 @default.
• W2024214277 doi "https://doi.org/10.4204/eptcs.119.11" @default.
• W2024214277 hasPublicationYear "2013" @default.
• W2024214277 type Work @default.
• W2024214277 sameAs 2024214277 @default.
• W2024214277 citedByCount "6" @default.
• W2024214277 countsByYear W20242142772015 @default.
• W2024214277 countsByYear W20242142772016 @default.
• W2024214277 countsByYear W20242142772017 @default.
• W2024214277 countsByYear W20242142772020 @default.
• W2024214277 countsByYear W20242142772021 @default.
• W2024214277 crossrefType "journal-article" @default.
• W2024214277 hasAuthorship W2024214277A5000059818 @default.
• W2024214277 hasAuthorship W2024214277A5017354172 @default.
• W2024214277 hasAuthorship W2024214277A5077429082 @default.
• W2024214277 hasAuthorship W2024214277A5084744032 @default.
• W2024214277 hasBestOaLocation W20242142771 @default.
• W2024214277 hasConcept C108710211 @default.
• W2024214277 hasConcept C112505250 @default.
• W2024214277 hasConcept C113174947 @default.
• W2024214277 hasConcept C11413529 @default.
• W2024214277 hasConcept C114614502 @default.
• W2024214277 hasConcept C118615104 @default.
• W2024214277 hasConcept C154945302 @default.
• W2024214277 hasConcept C165753454 @default.
• W2024214277 hasConcept C167822520 @default.
• W2024214277 hasConcept C194525867 @default.
• W2024214277 hasConcept C2524010 @default.
• W2024214277 hasConcept C2776493592 @default.
• W2024214277 hasConcept C2778583254 @default.
• W2024214277 hasConcept C33923547 @default.
• W2024214277 hasConcept C41008148 @default.
• W2024214277 hasConcept C49937458 @default.
• W2024214277 hasConcept C55439883 @default.
• W2024214277 hasConcept C80444323 @default.
• W2024214277 hasConceptScore W2024214277C108710211 @default.
• W2024214277 hasConceptScore W2024214277C112505250 @default.
• W2024214277 hasConceptScore W2024214277C113174947 @default.
• W2024214277 hasConceptScore W2024214277C11413529 @default.
• W2024214277 hasConceptScore W2024214277C114614502 @default.
• W2024214277 hasConceptScore W2024214277C118615104 @default.
• W2024214277 hasConceptScore W2024214277C154945302 @default.
• W2024214277 hasConceptScore W2024214277C165753454 @default.
• W2024214277 hasConceptScore W2024214277C167822520 @default.
• W2024214277 hasConceptScore W2024214277C194525867 @default.
• W2024214277 hasConceptScore W2024214277C2524010 @default.
• W2024214277 hasConceptScore W2024214277C2776493592 @default.
• W2024214277 hasConceptScore W2024214277C2778583254 @default.
• W2024214277 hasConceptScore W2024214277C33923547 @default.
• W2024214277 hasConceptScore W2024214277C41008148 @default.
• W2024214277 hasConceptScore W2024214277C49937458 @default.
• W2024214277 hasConceptScore W2024214277C55439883 @default.
• W2024214277 hasConceptScore W2024214277C80444323 @default.
• W2024214277 hasLocation W20242142771 @default.
• W2024214277 hasLocation W20242142772 @default.
• W2024214277 hasLocation W20242142773 @default.
• W2024214277 hasLocation W20242142774 @default.
• W2024214277 hasOpenAccess W2024214277 @default.
• W2024214277 hasPrimaryLocation W20242142771 @default.
• W2024214277 hasRelatedWork W131394547 @default.
• W2024214277 hasRelatedWork W1758011472 @default.
• W2024214277 hasRelatedWork W1966269148 @default.
• W2024214277 hasRelatedWork W1974397041 @default.
• W2024214277 hasRelatedWork W2024091458 @default.
• W2024214277 hasRelatedWork W2052395110 @default.
• W2024214277 hasRelatedWork W2076986528 @default.

• next