Sandro Stucki

Approximations for Stochastic Graph Rewriting

Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, and Sandro Stucki. In Formal Methods and Software Engineering -- 16th International Conference on Formal Engineering Methods (ICFEM '14), in LNCS, volume 8829, pp. 1–10, Springer, 2014.


In this note we present a method to compute approximate descriptions of a class of stochastic systems. For the method to apply, the system must be presented as a Markov chain on a state space consisting in graphs or graph-like objects, and jumps must be described by transformations which follow a finite set of local rules.