Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912375266> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2912375266 endingPage "134" @default.
- W2912375266 startingPage "113" @default.
- W2912375266 abstract "Unambiguous automata are nondeterministic automata in which every word has at most one accepting run. In this paper we give a polynomial-time algorithm for model checking discrete-time Markov chains against ω-regular specifications represented as unambiguous automata. We furthermore show that the complexity of this model checking problem lies in NC: the subclass of P comprising those problems solvable in poly-logarithmic parallel time. These complexity bounds match the known bounds for model checking Markov chains against specifications given as deterministic automata, notwithstanding the fact that unambiguous automata can be exponentially more succinct than deterministic automata. We report on an implementation of our procedure, including an experiment in which the implementation is used to model check LTL formulas on Markov chains." @default.
- W2912375266 created "2019-02-21" @default.
- W2912375266 creator A5011766470 @default.
- W2912375266 creator A5028850927 @default.
- W2912375266 creator A5031808060 @default.
- W2912375266 creator A5054782057 @default.
- W2912375266 creator A5068165188 @default.
- W2912375266 creator A5091344667 @default.
- W2912375266 date "2023-09-01" @default.
- W2912375266 modified "2023-10-14" @default.
- W2912375266 title "Markov chains and unambiguous automata" @default.
- W2912375266 cites W1969561112 @default.
- W2912375266 cites W1972203711 @default.
- W2912375266 cites W1975246937 @default.
- W2912375266 cites W2019700891 @default.
- W2912375266 cites W2087107980 @default.
- W2912375266 cites W2088141885 @default.
- W2912375266 cites W2557837928 @default.
- W2912375266 cites W2611884230 @default.
- W2912375266 cites W4210445513 @default.
- W2912375266 doi "https://doi.org/10.1016/j.jcss.2023.03.005" @default.
- W2912375266 hasPublicationYear "2023" @default.
- W2912375266 type Work @default.
- W2912375266 sameAs 2912375266 @default.
- W2912375266 citedByCount "2" @default.
- W2912375266 countsByYear W29123752662019 @default.
- W2912375266 countsByYear W29123752662021 @default.
- W2912375266 crossrefType "journal-article" @default.
- W2912375266 hasAuthorship W2912375266A5011766470 @default.
- W2912375266 hasAuthorship W2912375266A5028850927 @default.
- W2912375266 hasAuthorship W2912375266A5031808060 @default.
- W2912375266 hasAuthorship W2912375266A5054782057 @default.
- W2912375266 hasAuthorship W2912375266A5068165188 @default.
- W2912375266 hasAuthorship W2912375266A5091344667 @default.
- W2912375266 hasBestOaLocation W29123752661 @default.
- W2912375266 hasConcept C110251889 @default.
- W2912375266 hasConcept C112505250 @default.
- W2912375266 hasConcept C11413529 @default.
- W2912375266 hasConcept C116248031 @default.
- W2912375266 hasConcept C118615104 @default.
- W2912375266 hasConcept C119857082 @default.
- W2912375266 hasConcept C134306372 @default.
- W2912375266 hasConcept C174327141 @default.
- W2912375266 hasConcept C176181172 @default.
- W2912375266 hasConcept C311688 @default.
- W2912375266 hasConcept C33923547 @default.
- W2912375266 hasConcept C39927690 @default.
- W2912375266 hasConcept C41008148 @default.
- W2912375266 hasConcept C80444323 @default.
- W2912375266 hasConcept C92117001 @default.
- W2912375266 hasConcept C98763669 @default.
- W2912375266 hasConceptScore W2912375266C110251889 @default.
- W2912375266 hasConceptScore W2912375266C112505250 @default.
- W2912375266 hasConceptScore W2912375266C11413529 @default.
- W2912375266 hasConceptScore W2912375266C116248031 @default.
- W2912375266 hasConceptScore W2912375266C118615104 @default.
- W2912375266 hasConceptScore W2912375266C119857082 @default.
- W2912375266 hasConceptScore W2912375266C134306372 @default.
- W2912375266 hasConceptScore W2912375266C174327141 @default.
- W2912375266 hasConceptScore W2912375266C176181172 @default.
- W2912375266 hasConceptScore W2912375266C311688 @default.
- W2912375266 hasConceptScore W2912375266C33923547 @default.
- W2912375266 hasConceptScore W2912375266C39927690 @default.
- W2912375266 hasConceptScore W2912375266C41008148 @default.
- W2912375266 hasConceptScore W2912375266C80444323 @default.
- W2912375266 hasConceptScore W2912375266C92117001 @default.
- W2912375266 hasConceptScore W2912375266C98763669 @default.
- W2912375266 hasFunder F4320310632 @default.
- W2912375266 hasFunder F4320320006 @default.
- W2912375266 hasFunder F4320320879 @default.
- W2912375266 hasFunder F4320334627 @default.
- W2912375266 hasLocation W29123752661 @default.
- W2912375266 hasLocation W29123752662 @default.
- W2912375266 hasLocation W29123752663 @default.
- W2912375266 hasOpenAccess W2912375266 @default.
- W2912375266 hasPrimaryLocation W29123752661 @default.
- W2912375266 hasRelatedWork W1522966647 @default.
- W2912375266 hasRelatedWork W1565877235 @default.
- W2912375266 hasRelatedWork W2004056131 @default.
- W2912375266 hasRelatedWork W2019784509 @default.
- W2912375266 hasRelatedWork W2034450529 @default.
- W2912375266 hasRelatedWork W2280963706 @default.
- W2912375266 hasRelatedWork W2346095506 @default.
- W2912375266 hasRelatedWork W3173429172 @default.
- W2912375266 hasRelatedWork W4296414556 @default.
- W2912375266 hasRelatedWork W1819460583 @default.
- W2912375266 hasVolume "136" @default.
- W2912375266 isParatext "false" @default.
- W2912375266 isRetracted "false" @default.
- W2912375266 magId "2912375266" @default.
- W2912375266 workType "article" @default.