Abstraction, Refinement and Proof for Probabilistic Systems
157.15 CHF
Versandkostenfrei
Lieferzeit: 7-14 Werktage
- Artikel-Nr.: 10316722
Beschreibung
Probabilistic guarded commands and their refinement logic.- to pGCL: Its logic and its model.- Probabilistic loops: Invariants and variants.- Case studies in termination: Choice coordination, the dining philosophers, and the random walk.- Probabilistic data refinement: The steam boiler.- Semantic structures.- Theory for the demonic model.- The geometry of probabilistic programs.- Proved rules for probabilistic loops.- Infinite state spaces, angelic choice and the transformer hierarchy.- Advanced topics: Quantitative modal logic and game interpretations.- Quantitative temporal logic: An introduction.- The quantitative algebra of qTL.- The quantitative modal ?-calculus, and gambling games.
Eigenschaften
Breite: | 156 |
Gewicht: | 615 g |
Höhe: | 234 |
Länge: | 21 |
Seiten: | 388 |
Sprachen: | Englisch |
Autor: | Annabelle McIver, Charles Carroll Morgan |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen