Learning-based Compositional Verification for Synchronous Probabilistic Systems
Texte intégral
Documents relatifs
We target systems modelled as Markov de- cision processes, developing incremental methods for constructing mod- els from high-level system descriptions and for numerical solution
We have argued the need for incremental approaches to quantitative verification of probabilistic systems, citing several scenarios where multiple verification runs need to be
These undecidability results show once again that probabilistic automata are very different from deterministic and non-deterministic automata on finite of in- finite words, for
Keywords: failure, scientific disciplines, disciplinary knowledge, reference disciplines, information systems, sociology of scientific
The main differences are as follows: (i) in this paper we have added a parallel composition operator to our probabilistic process calculus; (ii) to define the operational semantics
As a conclusion, the Markov Monoid Algorithm introduced in [FGO12], used to decide the value 1 problem for leaktight automata, is actually the most correct algorithm known so far,
In this article, we briefly report on probabilistic planning through the lens of probabilistic (logic) programming: a programming paradigm that aims to ease the specification
If we can categorize software com- ponents based on their functions and roles by obtaining infor- mation from analysis of use-relationships, we can understand these