Matches in SemOpenAlex for { <https://semopenalex.org/work/W4232474943> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W4232474943 abstract "We consider the model checking problem for probabilistic pushdown automata (pPDA) and properties expressible in various probabilistic logics. We start with properties that can be formulated as instances of a generalized random walk problem. We prove that both qualitative and quantitative model checking for this class of properties and pPDA is decidable. Then, we show that model checking for the qualitative fragment of the logic PCTL and pPDA is also decidable. Moreover, we develop an error-tolerant model checking algorithm for general PCTL and the subclass of stateless pPDA. Finally, we consider the class of properties definable by deterministic Buchi automata, and show that both qualitative and quantitative model checking for pPDA is decidable." @default.
- W4232474943 created "2022-05-12" @default.
- W4232474943 creator A5019575165 @default.
- W4232474943 creator A5082358544 @default.
- W4232474943 creator A5090378914 @default.
- W4232474943 date "2004-01-01" @default.
- W4232474943 modified "2023-10-10" @default.
- W4232474943 title "Model checking probabilistic pushdown automata" @default.
- W4232474943 cites W1497670448 @default.
- W4232474943 cites W1511105469 @default.
- W4232474943 cites W1590891429 @default.
- W4232474943 cites W1903527352 @default.
- W4232474943 cites W1930640507 @default.
- W4232474943 cites W1972203711 @default.
- W4232474943 cites W2002663600 @default.
- W4232474943 cites W2005998857 @default.
- W4232474943 cites W2069979244 @default.
- W4232474943 cites W2102074804 @default.
- W4232474943 cites W2107771181 @default.
- W4232474943 cites W2114132089 @default.
- W4232474943 cites W2138695497 @default.
- W4232474943 cites W2165161585 @default.
- W4232474943 cites W2168605507 @default.
- W4232474943 cites W3022006420 @default.
- W4232474943 cites W4232474943 @default.
- W4232474943 cites W4244719572 @default.
- W4232474943 cites W4298290503 @default.
- W4232474943 doi "https://doi.org/10.1109/lics.2004.1319596" @default.
- W4232474943 hasPublicationYear "2004" @default.
- W4232474943 type Work @default.
- W4232474943 citedByCount "41" @default.
- W4232474943 countsByYear W42324749432012 @default.
- W4232474943 countsByYear W42324749432013 @default.
- W4232474943 countsByYear W42324749432015 @default.
- W4232474943 countsByYear W42324749432016 @default.
- W4232474943 countsByYear W42324749432017 @default.
- W4232474943 countsByYear W42324749432022 @default.
- W4232474943 countsByYear W42324749432023 @default.
- W4232474943 crossrefType "proceedings-article" @default.
- W4232474943 hasAuthorship W4232474943A5019575165 @default.
- W4232474943 hasAuthorship W4232474943A5082358544 @default.
- W4232474943 hasAuthorship W4232474943A5090378914 @default.
- W4232474943 hasConcept C110251889 @default.
- W4232474943 hasConcept C112505250 @default.
- W4232474943 hasConcept C11413529 @default.
- W4232474943 hasConcept C116248031 @default.
- W4232474943 hasConcept C118615104 @default.
- W4232474943 hasConcept C153269930 @default.
- W4232474943 hasConcept C154945302 @default.
- W4232474943 hasConcept C158008952 @default.
- W4232474943 hasConcept C2776235265 @default.
- W4232474943 hasConcept C2777212361 @default.
- W4232474943 hasConcept C33923547 @default.
- W4232474943 hasConcept C41008148 @default.
- W4232474943 hasConcept C49937458 @default.
- W4232474943 hasConcept C74919329 @default.
- W4232474943 hasConcept C77944639 @default.
- W4232474943 hasConcept C80444323 @default.
- W4232474943 hasConceptScore W4232474943C110251889 @default.
- W4232474943 hasConceptScore W4232474943C112505250 @default.
- W4232474943 hasConceptScore W4232474943C11413529 @default.
- W4232474943 hasConceptScore W4232474943C116248031 @default.
- W4232474943 hasConceptScore W4232474943C118615104 @default.
- W4232474943 hasConceptScore W4232474943C153269930 @default.
- W4232474943 hasConceptScore W4232474943C154945302 @default.
- W4232474943 hasConceptScore W4232474943C158008952 @default.
- W4232474943 hasConceptScore W4232474943C2776235265 @default.
- W4232474943 hasConceptScore W4232474943C2777212361 @default.
- W4232474943 hasConceptScore W4232474943C33923547 @default.
- W4232474943 hasConceptScore W4232474943C41008148 @default.
- W4232474943 hasConceptScore W4232474943C49937458 @default.
- W4232474943 hasConceptScore W4232474943C74919329 @default.
- W4232474943 hasConceptScore W4232474943C77944639 @default.
- W4232474943 hasConceptScore W4232474943C80444323 @default.
- W4232474943 hasLocation W42324749431 @default.
- W4232474943 hasOpenAccess W4232474943 @default.
- W4232474943 hasPrimaryLocation W42324749431 @default.
- W4232474943 hasRelatedWork W1511257926 @default.
- W4232474943 hasRelatedWork W1537446812 @default.
- W4232474943 hasRelatedWork W1541953080 @default.
- W4232474943 hasRelatedWork W2013101378 @default.
- W4232474943 hasRelatedWork W2039777175 @default.
- W4232474943 hasRelatedWork W2482236631 @default.
- W4232474943 hasRelatedWork W2752930545 @default.
- W4232474943 hasRelatedWork W3133052492 @default.
- W4232474943 hasRelatedWork W3196258201 @default.
- W4232474943 hasRelatedWork W2522490152 @default.
- W4232474943 isParatext "false" @default.
- W4232474943 isRetracted "false" @default.
- W4232474943 workType "article" @default.