Stochastic Models: Scalable Model Checking.

Home

Members

Meetings

Tasks

Publications

Bibliography

Task 2: Approximation algorithms for DBNs Subtask 2.1: Parametric approximated inference in DBN Subtask 2.2: Prototype of the inference algorithm Subtask 2.3: Model-checker for DBN Task 3: Proving the accuracy Subtask 3.1: Compute the contracting factor of a DBN Subtask 3.2: Compute one-step error of the approximated inference Task 4: Approximation algorithms for (explicit) MDPs Subtask 4.1: (Un)decidable class of MDPs for LTL over distribution. Subtask 4.2: Approximation algorithm on this compact model Subtask 4.3: Model for representing compactly a MDP Task 5: Computational System Biology Subtask 5.1: Model Hela cells death as a DBN and application Subtask 5.2: Model stress response in yeast as a MDP and application