Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Probabilistic_CTL> ?p ?o }
Showing triples 1 to 29 of
29
with 100 triples per page.
- Probabilistic_CTL abstract "Probabilistic Computation Tree Logic (PCTL) is an extension of computation tree logic (CTL) which allows for probabilistic quantification of described properties. It has been defined in the paper by Hansson and Jonsson.PCTL is a useful logic for stating soft deadline properties, e.g. \"after a request for a service, there is at least a 98% probability that the service will be carried out within 2 seconds\". Akin CTL suitability for model-checking PCTL extension is widely used as a property specification language for probabilistic model checkers.".
- Probabilistic_CTL wikiPageID "6762557".
- Probabilistic_CTL wikiPageLength "3743".
- Probabilistic_CTL wikiPageOutDegree "8".
- Probabilistic_CTL wikiPageRevisionID "687962931".
- Probabilistic_CTL wikiPageWikiLink Category:Temporal_logic.
- Probabilistic_CTL wikiPageWikiLink Computation_tree_logic.
- Probabilistic_CTL wikiPageWikiLink Logic.
- Probabilistic_CTL wikiPageWikiLink Markov_chain.
- Probabilistic_CTL wikiPageWikiLink Probability.
- Probabilistic_CTL wikiPageWikiLink Quantifier_(logic).
- Probabilistic_CTL wikiPageWikiLink Temporal_logic.
- Probabilistic_CTL wikiPageWikiLinkText "PCTL".
- Probabilistic_CTL wikiPageWikiLinkText "Probabilistic CTL".
- Probabilistic_CTL wikiPageUsesTemplate Template:Expert-subject.
- Probabilistic_CTL wikiPageUsesTemplate Template:More_footnotes.
- Probabilistic_CTL wikiPageUsesTemplate Template:Multiple_issues.
- Probabilistic_CTL subject Category:Temporal_logic.
- Probabilistic_CTL hypernym Extension.
- Probabilistic_CTL type Language.
- Probabilistic_CTL type Software.
- Probabilistic_CTL type Language.
- Probabilistic_CTL comment "Probabilistic Computation Tree Logic (PCTL) is an extension of computation tree logic (CTL) which allows for probabilistic quantification of described properties. It has been defined in the paper by Hansson and Jonsson.PCTL is a useful logic for stating soft deadline properties, e.g. \"after a request for a service, there is at least a 98% probability that the service will be carried out within 2 seconds\".".
- Probabilistic_CTL label "Probabilistic CTL".
- Probabilistic_CTL sameAs Q7246845.
- Probabilistic_CTL sameAs m.0gmnf3.
- Probabilistic_CTL sameAs Q7246845.
- Probabilistic_CTL wasDerivedFrom Probabilistic_CTL?oldid=687962931.
- Probabilistic_CTL isPrimaryTopicOf Probabilistic_CTL.