FRINK Linked Data Fragments server

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

• W3193588428 startingPage "19" @default.
• W3193588428 abstract "This paper provides several optimizations of the rank-based approach for complementing Buchi automata. We start with Schewe’s theoretically optimal construction and develop a set of techniques for pruning its state space that are key to obtaining small complement automata in practice. In particular, the reductions (except one) have the property that they preserve (at least some) so-called super-tight runs, which are runs whose ranking is as tight as possible. Our evaluation on a large benchmark shows that the optimizations indeed significantly help the rank-based approach and that, in a large number of cases, the obtained complement is the smallest from those produced by state-of-the-art tools for Buchi complementation." @default.
• W3193588428 created "2021-08-30" @default.
• W3193588428 creator A5030524096 @default.
• W3193588428 creator A5063557188 @default.
• W3193588428 date "2021-01-01" @default.
• W3193588428 modified "2023-10-16" @default.
• W3193588428 title "Reducing (To) the Ranks: Efficient Rank-Based Büchi Automata Complementation" @default.
• W3193588428 doi "https://doi.org/10.4230/lipics.concur.2021.2" @default.
• W3193588428 hasPublicationYear "2021" @default.
• W3193588428 type Work @default.
• W3193588428 sameAs 3193588428 @default.
• W3193588428 citedByCount "4" @default.
• W3193588428 countsByYear W31935884282021 @default.
• W3193588428 countsByYear W31935884282022 @default.
• W3193588428 countsByYear W31935884282023 @default.
• W3193588428 crossrefType "proceedings-article" @default.
• W3193588428 hasAuthorship W3193588428A5030524096 @default.
• W3193588428 hasAuthorship W3193588428A5063557188 @default.
• W3193588428 hasConcept C104317684 @default.
• W3193588428 hasConcept C105795698 @default.
• W3193588428 hasConcept C108010975 @default.
• W3193588428 hasConcept C112313634 @default.
• W3193588428 hasConcept C112505250 @default.
• W3193588428 hasConcept C11413529 @default.
• W3193588428 hasConcept C114614502 @default.
• W3193588428 hasConcept C118615104 @default.
• W3193588428 hasConcept C127716648 @default.
• W3193588428 hasConcept C13280743 @default.
• W3193588428 hasConcept C154945302 @default.
• W3193588428 hasConcept C164226766 @default.
• W3193588428 hasConcept C165753454 @default.
• W3193588428 hasConcept C177264268 @default.
• W3193588428 hasConcept C185592680 @default.
• W3193588428 hasConcept C185798385 @default.
• W3193588428 hasConcept C188082640 @default.
• W3193588428 hasConcept C189430467 @default.
• W3193588428 hasConcept C194525867 @default.
• W3193588428 hasConcept C199360897 @default.
• W3193588428 hasConcept C205649164 @default.
• W3193588428 hasConcept C26517878 @default.
• W3193588428 hasConcept C33923547 @default.
• W3193588428 hasConcept C38652104 @default.
• W3193588428 hasConcept C41008148 @default.
• W3193588428 hasConcept C48103436 @default.
• W3193588428 hasConcept C55493867 @default.
• W3193588428 hasConcept C6557445 @default.
• W3193588428 hasConcept C72434380 @default.
• W3193588428 hasConcept C80444323 @default.
• W3193588428 hasConcept C86803240 @default.
• W3193588428 hasConceptScore W3193588428C104317684 @default.
• W3193588428 hasConceptScore W3193588428C105795698 @default.
• W3193588428 hasConceptScore W3193588428C108010975 @default.
• W3193588428 hasConceptScore W3193588428C112313634 @default.
• W3193588428 hasConceptScore W3193588428C112505250 @default.
• W3193588428 hasConceptScore W3193588428C11413529 @default.
• W3193588428 hasConceptScore W3193588428C114614502 @default.
• W3193588428 hasConceptScore W3193588428C118615104 @default.
• W3193588428 hasConceptScore W3193588428C127716648 @default.
• W3193588428 hasConceptScore W3193588428C13280743 @default.
• W3193588428 hasConceptScore W3193588428C154945302 @default.
• W3193588428 hasConceptScore W3193588428C164226766 @default.
• W3193588428 hasConceptScore W3193588428C165753454 @default.
• W3193588428 hasConceptScore W3193588428C177264268 @default.
• W3193588428 hasConceptScore W3193588428C185592680 @default.
• W3193588428 hasConceptScore W3193588428C185798385 @default.
• W3193588428 hasConceptScore W3193588428C188082640 @default.
• W3193588428 hasConceptScore W3193588428C189430467 @default.
• W3193588428 hasConceptScore W3193588428C194525867 @default.
• W3193588428 hasConceptScore W3193588428C199360897 @default.
• W3193588428 hasConceptScore W3193588428C205649164 @default.
• W3193588428 hasConceptScore W3193588428C26517878 @default.
• W3193588428 hasConceptScore W3193588428C33923547 @default.
• W3193588428 hasConceptScore W3193588428C38652104 @default.
• W3193588428 hasConceptScore W3193588428C41008148 @default.
• W3193588428 hasConceptScore W3193588428C48103436 @default.
• W3193588428 hasConceptScore W3193588428C55493867 @default.
• W3193588428 hasConceptScore W3193588428C6557445 @default.
• W3193588428 hasConceptScore W3193588428C72434380 @default.
• W3193588428 hasConceptScore W3193588428C80444323 @default.
• W3193588428 hasConceptScore W3193588428C86803240 @default.
• W3193588428 hasLocation W31935884281 @default.
• W3193588428 hasOpenAccess W3193588428 @default.
• W3193588428 hasPrimaryLocation W31935884281 @default.
• W3193588428 hasRelatedWork W104223015 @default.
• W3193588428 hasRelatedWork W123210929 @default.
• W3193588428 hasRelatedWork W1541872673 @default.
• W3193588428 hasRelatedWork W1684746593 @default.
• W3193588428 hasRelatedWork W2037801799 @default.
• W3193588428 hasRelatedWork W2111569703 @default.
• W3193588428 hasRelatedWork W2145121791 @default.
• W3193588428 hasRelatedWork W2263027537 @default.
• W3193588428 hasRelatedWork W2284937833 @default.
• W3193588428 hasRelatedWork W2295913986 @default.
• W3193588428 hasRelatedWork W2404201658 @default.
• W3193588428 hasRelatedWork W2522798046 @default.
• W3193588428 hasRelatedWork W2583206604 @default.
• W3193588428 hasRelatedWork W2769117969 @default.
• W3193588428 hasRelatedWork W2887249332 @default.
• W3193588428 hasRelatedWork W2950632841 @default.

• next