Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. Approximations for Stochastic Graph Rewriting
 
conference paper

Approximations for Stochastic Graph Rewriting

Danos, Vincent
•
Heindel, Tobias
•
Honorato-Zimmer, Ricardo
Show more
Merz, Stephan
•
Pang, Jun
2014
Formal Methods and Software Engineering -- 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings
16th International Conference on Formal Engineering Methods, ICFEM '14

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.

  • Files
  • Details
  • Metrics
Loading...
Thumbnail Image
Name

icfem.pdf

Type

Postprint

Version

Accepted version

Access type

openaccess

Size

646.64 KB

Format

Adobe PDF

Checksum (MD5)

2c7425058123b143b2bedf79d2e3af0b

Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés