FRINK Linked Data Fragments server

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

• W1795139737 endingPage "888" @default.
• W1795139737 startingPage "882" @default.
• W1795139737 abstract "Probabilistic systems are an important theme in AI domain. As the specification language, PCTL is the most frequently used logic for reasoning about probabilistic properties. In this paper, we present a natural and succinct probabilistic extension of µ-calculus, another prominent logic in the concurrency theory. We study the relationship with PCTL. Surprisingly, the expressiveness is highly orthogonal with PCTL. The proposed logic captures some useful properties which cannot be expressed in PCTL. We investigate the model checking and satisfiability problem, and show that the model checking problem is in UP ∩co-UP, and the satisfiability checking can be decided via reducing into solving parity games. This is in contrast to PCTL as well, whose satisfiability checking is still an open problem." @default.
• W1795139737 created "2016-06-24" @default.
• W1795139737 creator A5046184004 @default.
• W1795139737 creator A5081589298 @default.
• W1795139737 creator A5082329778 @default.
• W1795139737 creator A5088128024 @default.
• W1795139737 date "2015-07-25" @default.
• W1795139737 modified "2023-09-27" @default.
• W1795139737 title "A simple probabilistic extension of modal µ-calculus" @default.
• W1795139737 cites W125598877 @default.
• W1795139737 cites W128793516 @default.
• W1795139737 cites W1497670448 @default.
• W1795139737 cites W1498432697 @default.
• W1795139737 cites W1503627878 @default.
• W1795139737 cites W1555229756 @default.
• W1795139737 cites W1564580204 @default.
• W1795139737 cites W1597006399 @default.
• W1795139737 cites W1969912861 @default.
• W1795139737 cites W1970927851 @default.
• W1795139737 cites W2002103066 @default.
• W1795139737 cites W2002128397 @default.
• W1795139737 cites W2003227046 @default.
• W1795139737 cites W2004306067 @default.
• W1795139737 cites W2005998857 @default.
• W1795139737 cites W2015640848 @default.
• W1795139737 cites W2023808162 @default.
• W1795139737 cites W2060155289 @default.
• W1795139737 cites W2060375000 @default.
• W1795139737 cites W2067441543 @default.
• W1795139737 cites W2074996640 @default.
• W1795139737 cites W2091027967 @default.
• W1795139737 cites W2106141493 @default.
• W1795139737 cites W2115587183 @default.
• W1795139737 cites W2136692964 @default.
• W1795139737 cites W2142133061 @default.
• W1795139737 cites W2153364044 @default.
• W1795139737 cites W2165161585 @default.
• W1795139737 cites W2172114884 @default.
• W1795139737 cites W2806619258 @default.
• W1795139737 cites W2963957680 @default.
• W1795139737 cites W3103382047 @default.
• W1795139737 cites W42134522 @default.
• W1795139737 cites W570655404 @default.
• W1795139737 hasPublicationYear "2015" @default.
• W1795139737 type Work @default.
• W1795139737 sameAs 1795139737 @default.
• W1795139737 citedByCount "7" @default.
• W1795139737 countsByYear W17951397372016 @default.
• W1795139737 countsByYear W17951397372017 @default.
• W1795139737 countsByYear W17951397372019 @default.
• W1795139737 countsByYear W17951397372020 @default.
• W1795139737 countsByYear W17951397372021 @default.
• W1795139737 crossrefType "proceedings-article" @default.
• W1795139737 hasAuthorship W1795139737A5046184004 @default.
• W1795139737 hasAuthorship W1795139737A5081589298 @default.
• W1795139737 hasAuthorship W1795139737A5082329778 @default.
• W1795139737 hasAuthorship W1795139737A5088128024 @default.
• W1795139737 hasConcept C110251889 @default.
• W1795139737 hasConcept C11413529 @default.
• W1795139737 hasConcept C154945302 @default.
• W1795139737 hasConcept C168773769 @default.
• W1795139737 hasConcept C185592680 @default.
• W1795139737 hasConcept C188027245 @default.
• W1795139737 hasConcept C193702766 @default.
• W1795139737 hasConcept C199360897 @default.
• W1795139737 hasConcept C24404364 @default.
• W1795139737 hasConcept C27508121 @default.
• W1795139737 hasConcept C2778029271 @default.
• W1795139737 hasConcept C33923547 @default.
• W1795139737 hasConcept C41008148 @default.
• W1795139737 hasConcept C49937458 @default.
• W1795139737 hasConcept C52063229 @default.
• W1795139737 hasConcept C6943359 @default.
• W1795139737 hasConcept C71139939 @default.
• W1795139737 hasConcept C80444323 @default.
• W1795139737 hasConceptScore W1795139737C110251889 @default.
• W1795139737 hasConceptScore W1795139737C11413529 @default.
• W1795139737 hasConceptScore W1795139737C154945302 @default.
• W1795139737 hasConceptScore W1795139737C168773769 @default.
• W1795139737 hasConceptScore W1795139737C185592680 @default.
• W1795139737 hasConceptScore W1795139737C188027245 @default.
• W1795139737 hasConceptScore W1795139737C193702766 @default.
• W1795139737 hasConceptScore W1795139737C199360897 @default.
• W1795139737 hasConceptScore W1795139737C24404364 @default.
• W1795139737 hasConceptScore W1795139737C27508121 @default.
• W1795139737 hasConceptScore W1795139737C2778029271 @default.
• W1795139737 hasConceptScore W1795139737C33923547 @default.
• W1795139737 hasConceptScore W1795139737C41008148 @default.
• W1795139737 hasConceptScore W1795139737C49937458 @default.
• W1795139737 hasConceptScore W1795139737C52063229 @default.
• W1795139737 hasConceptScore W1795139737C6943359 @default.
• W1795139737 hasConceptScore W1795139737C71139939 @default.
• W1795139737 hasConceptScore W1795139737C80444323 @default.
• W1795139737 hasLocation W17951397371 @default.
• W1795139737 hasOpenAccess W1795139737 @default.
• W1795139737 hasPrimaryLocation W17951397371 @default.
• W1795139737 hasRelatedWork W1495032777 @default.
• W1795139737 hasRelatedWork W1537589219 @default.

• next