RNA Kinetics Day : sampling and abstractions

This day aims to give an overview of sampling and abstraction methods for of hybrid dynamic systems and discuss their applicability for the characterization of the hitting time distributions between RNA secondary structures (modeled by a continuous time Markov chains).