FRINK Linked Data Fragments server

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

• W3178116274 abstract "(Multi-type) branching processes are a natural and well-studied model for generating random infinite trees. Branching processes feature both nondeterministic and probabilistic branching, generalizing both transition systems and Markov chains (but not generally Markov decision processes). We study the complexity of model checking branching processes against linear-time omega-regular specifications: is it the case almost surely that every branch of a tree randomly generated by the branching process satisfies the omega-regular specification? The main result is that for LTL specifications this problem is in PSPACE, subsuming classical results for transition systems and Markov chains, respectively. The underlying general model-checking algorithm is based on the automata-theoretic approach, using unambiguous Buchi automata." @default.
• W3178116274 created "2021-07-19" @default.
• W3178116274 creator A5050198033 @default.
• W3178116274 creator A5050813521 @default.
• W3178116274 creator A5054782057 @default.
• W3178116274 date "2021-07-04" @default.
• W3178116274 modified "2023-10-06" @default.
• W3178116274 title "Linear-Time Model Checking Branching Processes" @default.
• W3178116274 cites W1500921805 @default.
• W3178116274 cites W1523289856 @default.
• W3178116274 cites W1555229756 @default.
• W3178116274 cites W1972203711 @default.
• W3178116274 cites W2003227046 @default.
• W3178116274 cites W2005059149 @default.
• W3178116274 cites W2055776578 @default.
• W3178116274 cites W2062881752 @default.
• W3178116274 cites W2088141885 @default.
• W3178116274 cites W2098435584 @default.
• W3178116274 cites W2142921329 @default.
• W3178116274 cites W2165726630 @default.
• W3178116274 cites W2168605507 @default.
• W3178116274 cites W2172114884 @default.
• W3178116274 cites W2268005033 @default.
• W3178116274 cites W2346095506 @default.
• W3178116274 cites W2759095527 @default.
• W3178116274 cites W2790209383 @default.
• W3178116274 cites W2885721066 @default.
• W3178116274 cites W2993580538 @default.
• W3178116274 hasPublicationYear "2021" @default.
• W3178116274 type Work @default.
• W3178116274 sameAs 3178116274 @default.
• W3178116274 citedByCount "0" @default.
• W3178116274 crossrefType "posted-content" @default.
• W3178116274 hasAuthorship W3178116274A5050198033 @default.
• W3178116274 hasAuthorship W3178116274A5050813521 @default.
• W3178116274 hasAuthorship W3178116274A5054782057 @default.
• W3178116274 hasConcept C105795698 @default.
• W3178116274 hasConcept C106189395 @default.
• W3178116274 hasConcept C110251889 @default.
• W3178116274 hasConcept C112505250 @default.
• W3178116274 hasConcept C11413529 @default.
• W3178116274 hasConcept C114614502 @default.
• W3178116274 hasConcept C118615104 @default.
• W3178116274 hasConcept C154945302 @default.
• W3178116274 hasConcept C159886148 @default.
• W3178116274 hasConcept C159985019 @default.
• W3178116274 hasConcept C165753454 @default.
• W3178116274 hasConcept C176181172 @default.
• W3178116274 hasConcept C177255742 @default.
• W3178116274 hasConcept C192562407 @default.
• W3178116274 hasConcept C194525867 @default.
• W3178116274 hasConcept C206175624 @default.
• W3178116274 hasConcept C33923547 @default.
• W3178116274 hasConcept C41008148 @default.
• W3178116274 hasConcept C49937458 @default.
• W3178116274 hasConcept C56289965 @default.
• W3178116274 hasConcept C80444323 @default.
• W3178116274 hasConcept C84525736 @default.
• W3178116274 hasConcept C98763669 @default.
• W3178116274 hasConceptScore W3178116274C105795698 @default.
• W3178116274 hasConceptScore W3178116274C106189395 @default.
• W3178116274 hasConceptScore W3178116274C110251889 @default.
• W3178116274 hasConceptScore W3178116274C112505250 @default.
• W3178116274 hasConceptScore W3178116274C11413529 @default.
• W3178116274 hasConceptScore W3178116274C114614502 @default.
• W3178116274 hasConceptScore W3178116274C118615104 @default.
• W3178116274 hasConceptScore W3178116274C154945302 @default.
• W3178116274 hasConceptScore W3178116274C159886148 @default.
• W3178116274 hasConceptScore W3178116274C159985019 @default.
• W3178116274 hasConceptScore W3178116274C165753454 @default.
• W3178116274 hasConceptScore W3178116274C176181172 @default.
• W3178116274 hasConceptScore W3178116274C177255742 @default.
• W3178116274 hasConceptScore W3178116274C192562407 @default.
• W3178116274 hasConceptScore W3178116274C194525867 @default.
• W3178116274 hasConceptScore W3178116274C206175624 @default.
• W3178116274 hasConceptScore W3178116274C33923547 @default.
• W3178116274 hasConceptScore W3178116274C41008148 @default.
• W3178116274 hasConceptScore W3178116274C49937458 @default.
• W3178116274 hasConceptScore W3178116274C56289965 @default.
• W3178116274 hasConceptScore W3178116274C80444323 @default.
• W3178116274 hasConceptScore W3178116274C84525736 @default.
• W3178116274 hasConceptScore W3178116274C98763669 @default.
• W3178116274 hasLocation W31781162741 @default.
• W3178116274 hasOpenAccess W3178116274 @default.
• W3178116274 hasPrimaryLocation W31781162741 @default.
• W3178116274 hasRelatedWork W1495993314 @default.
• W3178116274 hasRelatedWork W1515866581 @default.
• W3178116274 hasRelatedWork W1524128696 @default.
• W3178116274 hasRelatedWork W1572551939 @default.
• W3178116274 hasRelatedWork W1597386995 @default.
• W3178116274 hasRelatedWork W2055776578 @default.
• W3178116274 hasRelatedWork W2059940889 @default.
• W3178116274 hasRelatedWork W2067398978 @default.
• W3178116274 hasRelatedWork W2120349285 @default.
• W3178116274 hasRelatedWork W2141289380 @default.
• W3178116274 hasRelatedWork W2142921329 @default.
• W3178116274 hasRelatedWork W2168783150 @default.
• W3178116274 hasRelatedWork W2192087085 @default.
• W3178116274 hasRelatedWork W2560743336 @default.
• W3178116274 hasRelatedWork W2604577107 @default.

• next