Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023961202> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2023961202 endingPage "184" @default.
- W2023961202 startingPage "169" @default.
- W2023961202 abstract "Emptiness check is a key operation in the automata-theoretic approach to LTL verification. However, it is usually done on Büchi automata with a single acceptance condition. We review existing on-the-fly emptiness-check algorithms for generalized Büchi automata (i.e., with multiple acceptance conditions) and show how they compete favorably with emptiness-checks for degeneralized automata, especially in presence of weak fairness assumptions. We also introduce a new emptiness-check algorithm, some heuristics to improve existing checks, and propose algorithms to compute accepting runs in the case of multiple acceptance conditions." @default.
- W2023961202 created "2016-06-24" @default.
- W2023961202 creator A5042401314 @default.
- W2023961202 creator A5080778746 @default.
- W2023961202 creator A5060383246 @default.
- W2023961202 date "2005-01-01" @default.
- W2023961202 modified "2023-09-30" @default.
- W2023961202 title "On-the-Fly Emptiness Checks for Generalized Büchi Automata" @default.
- W2023961202 cites W143291542 @default.
- W2023961202 cites W1489260687 @default.
- W2023961202 cites W1492929237 @default.
- W2023961202 cites W1502392458 @default.
- W2023961202 cites W1507116188 @default.
- W2023961202 cites W1544607874 @default.
- W2023961202 cites W1599932478 @default.
- W2023961202 cites W1622576783 @default.
- W2023961202 cites W1984936841 @default.
- W2023961202 cites W2063322197 @default.
- W2023961202 cites W2070638102 @default.
- W2023961202 cites W2146706022 @default.
- W2023961202 cites W4246679293 @default.
- W2023961202 doi "https://doi.org/10.1007/11537328_15" @default.
- W2023961202 hasPublicationYear "2005" @default.
- W2023961202 type Work @default.
- W2023961202 sameAs 2023961202 @default.
- W2023961202 citedByCount "43" @default.
- W2023961202 countsByYear W20239612022012 @default.
- W2023961202 countsByYear W20239612022013 @default.
- W2023961202 countsByYear W20239612022014 @default.
- W2023961202 countsByYear W20239612022015 @default.
- W2023961202 countsByYear W20239612022016 @default.
- W2023961202 countsByYear W20239612022017 @default.
- W2023961202 countsByYear W20239612022018 @default.
- W2023961202 countsByYear W20239612022019 @default.
- W2023961202 countsByYear W20239612022020 @default.
- W2023961202 countsByYear W20239612022023 @default.
- W2023961202 crossrefType "book-chapter" @default.
- W2023961202 hasAuthorship W2023961202A5042401314 @default.
- W2023961202 hasAuthorship W2023961202A5060383246 @default.
- W2023961202 hasAuthorship W2023961202A5080778746 @default.
- W2023961202 hasConcept C111919701 @default.
- W2023961202 hasConcept C112505250 @default.
- W2023961202 hasConcept C11413529 @default.
- W2023961202 hasConcept C127705205 @default.
- W2023961202 hasConcept C138885662 @default.
- W2023961202 hasConcept C26517878 @default.
- W2023961202 hasConcept C27206212 @default.
- W2023961202 hasConcept C2779150620 @default.
- W2023961202 hasConcept C2781020372 @default.
- W2023961202 hasConcept C38652104 @default.
- W2023961202 hasConcept C41008148 @default.
- W2023961202 hasConcept C80444323 @default.
- W2023961202 hasConceptScore W2023961202C111919701 @default.
- W2023961202 hasConceptScore W2023961202C112505250 @default.
- W2023961202 hasConceptScore W2023961202C11413529 @default.
- W2023961202 hasConceptScore W2023961202C127705205 @default.
- W2023961202 hasConceptScore W2023961202C138885662 @default.
- W2023961202 hasConceptScore W2023961202C26517878 @default.
- W2023961202 hasConceptScore W2023961202C27206212 @default.
- W2023961202 hasConceptScore W2023961202C2779150620 @default.
- W2023961202 hasConceptScore W2023961202C2781020372 @default.
- W2023961202 hasConceptScore W2023961202C38652104 @default.
- W2023961202 hasConceptScore W2023961202C41008148 @default.
- W2023961202 hasConceptScore W2023961202C80444323 @default.
- W2023961202 hasLocation W20239612021 @default.
- W2023961202 hasLocation W20239612022 @default.
- W2023961202 hasLocation W20239612023 @default.
- W2023961202 hasOpenAccess W2023961202 @default.
- W2023961202 hasPrimaryLocation W20239612021 @default.
- W2023961202 hasRelatedWork W1523885398 @default.
- W2023961202 hasRelatedWork W1530711118 @default.
- W2023961202 hasRelatedWork W2023961202 @default.
- W2023961202 hasRelatedWork W2117618670 @default.
- W2023961202 hasRelatedWork W2133057837 @default.
- W2023961202 hasRelatedWork W2139796094 @default.
- W2023961202 hasRelatedWork W2184566166 @default.
- W2023961202 hasRelatedWork W2546259727 @default.
- W2023961202 hasRelatedWork W2620666019 @default.
- W2023961202 hasRelatedWork W2585381885 @default.
- W2023961202 isParatext "false" @default.
- W2023961202 isRetracted "false" @default.
- W2023961202 magId "2023961202" @default.
- W2023961202 workType "book-chapter" @default.