Matches in SemOpenAlex for { <https://semopenalex.org/work/W2970445711> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2970445711 abstract "We introduce a novel technique to analyse unambiguous Buchi automata quantitatively, and apply this to the model checking problem. It is based on linear-algebra arguments that originate from the analysis of matrix semigroups with constant spectral radius. This method can replace a combinatorial procedure that dominates the computational complexity of the existing procedure by Baier et al. We analyse the complexity in detail, showing that, in terms of the set $Q$ of states of the automaton, the new algorithm runs in time $O(|Q|^4)$, improving on an efficient implementation of the combinatorial algorithm by a factor of $|Q|$." @default.
- W2970445711 created "2019-09-05" @default.
- W2970445711 creator A5050198033 @default.
- W2970445711 creator A5054782057 @default.
- W2970445711 date "2019-01-01" @default.
- W2970445711 modified "2023-09-24" @default.
- W2970445711 title "Efficient Analysis of Unambiguous Automata Using Matrix Semigroup Techniques." @default.
- W2970445711 hasPublicationYear "2019" @default.
- W2970445711 type Work @default.
- W2970445711 sameAs 2970445711 @default.
- W2970445711 citedByCount "1" @default.
- W2970445711 countsByYear W29704457112020 @default.
- W2970445711 crossrefType "proceedings-article" @default.
- W2970445711 hasAuthorship W2970445711A5050198033 @default.
- W2970445711 hasAuthorship W2970445711A5054782057 @default.
- W2970445711 hasConcept C106487976 @default.
- W2970445711 hasConcept C112505250 @default.
- W2970445711 hasConcept C11413529 @default.
- W2970445711 hasConcept C118615104 @default.
- W2970445711 hasConcept C121332964 @default.
- W2970445711 hasConcept C136119220 @default.
- W2970445711 hasConcept C140532419 @default.
- W2970445711 hasConcept C158693339 @default.
- W2970445711 hasConcept C159985019 @default.
- W2970445711 hasConcept C165753454 @default.
- W2970445711 hasConcept C177264268 @default.
- W2970445711 hasConcept C179799912 @default.
- W2970445711 hasConcept C192562407 @default.
- W2970445711 hasConcept C194525867 @default.
- W2970445711 hasConcept C199360897 @default.
- W2970445711 hasConcept C202444582 @default.
- W2970445711 hasConcept C207405024 @default.
- W2970445711 hasConcept C2777027219 @default.
- W2970445711 hasConcept C311688 @default.
- W2970445711 hasConcept C33923547 @default.
- W2970445711 hasConcept C41008148 @default.
- W2970445711 hasConcept C62520636 @default.
- W2970445711 hasConcept C80444323 @default.
- W2970445711 hasConceptScore W2970445711C106487976 @default.
- W2970445711 hasConceptScore W2970445711C112505250 @default.
- W2970445711 hasConceptScore W2970445711C11413529 @default.
- W2970445711 hasConceptScore W2970445711C118615104 @default.
- W2970445711 hasConceptScore W2970445711C121332964 @default.
- W2970445711 hasConceptScore W2970445711C136119220 @default.
- W2970445711 hasConceptScore W2970445711C140532419 @default.
- W2970445711 hasConceptScore W2970445711C158693339 @default.
- W2970445711 hasConceptScore W2970445711C159985019 @default.
- W2970445711 hasConceptScore W2970445711C165753454 @default.
- W2970445711 hasConceptScore W2970445711C177264268 @default.
- W2970445711 hasConceptScore W2970445711C179799912 @default.
- W2970445711 hasConceptScore W2970445711C192562407 @default.
- W2970445711 hasConceptScore W2970445711C194525867 @default.
- W2970445711 hasConceptScore W2970445711C199360897 @default.
- W2970445711 hasConceptScore W2970445711C202444582 @default.
- W2970445711 hasConceptScore W2970445711C207405024 @default.
- W2970445711 hasConceptScore W2970445711C2777027219 @default.
- W2970445711 hasConceptScore W2970445711C311688 @default.
- W2970445711 hasConceptScore W2970445711C33923547 @default.
- W2970445711 hasConceptScore W2970445711C41008148 @default.
- W2970445711 hasConceptScore W2970445711C62520636 @default.
- W2970445711 hasConceptScore W2970445711C80444323 @default.
- W2970445711 hasLocation W29704457111 @default.
- W2970445711 hasOpenAccess W2970445711 @default.
- W2970445711 hasPrimaryLocation W29704457111 @default.
- W2970445711 hasRelatedWork W125189525 @default.
- W2970445711 hasRelatedWork W1515866581 @default.
- W2970445711 hasRelatedWork W1521804526 @default.
- W2970445711 hasRelatedWork W1529616981 @default.
- W2970445711 hasRelatedWork W1545040203 @default.
- W2970445711 hasRelatedWork W1570990532 @default.
- W2970445711 hasRelatedWork W1664904644 @default.
- W2970445711 hasRelatedWork W1805733700 @default.
- W2970445711 hasRelatedWork W1966686249 @default.
- W2970445711 hasRelatedWork W1969620704 @default.
- W2970445711 hasRelatedWork W2103500400 @default.
- W2970445711 hasRelatedWork W2138726756 @default.
- W2970445711 hasRelatedWork W2158833662 @default.
- W2970445711 hasRelatedWork W2294329580 @default.
- W2970445711 hasRelatedWork W2375483124 @default.
- W2970445711 hasRelatedWork W2377599488 @default.
- W2970445711 hasRelatedWork W2604577107 @default.
- W2970445711 hasRelatedWork W2605631145 @default.
- W2970445711 hasRelatedWork W2951056609 @default.
- W2970445711 hasRelatedWork W3127643424 @default.
- W2970445711 isParatext "false" @default.
- W2970445711 isRetracted "false" @default.
- W2970445711 magId "2970445711" @default.
- W2970445711 workType "article" @default.