The following pages link to Verena Wolf (Q444483):
Displaying 23 items.
- Three-valued abstraction for probabilistic systems (Q444484) (← links)
- Approximation of event probabilities in noisy cellular processes (Q533357) (← links)
- Stochastic hybrid models of gene regulatory networks -- a PDE approach (Q669087) (← links)
- Abstraction-guided truncations for stationary distributions of Markov population models (Q832087) (← links)
- Generalized method of moments for stochastic reaction networks in equilibrium (Q1706577) (← links)
- Analysis of Markov jump processes under terminal constraints (Q2044200) (← links)
- Tracking the race between deep reinforcement learning and imitation learning (Q2056979) (← links)
- Bounding mean first passage times in population continuous-time Markov chains (Q2056989) (← links)
- Importance of interaction structure and stochasticity for epidemic spreading: a COVID-19 case study (Q2056993) (← links)
- Analytic solutions for stochastic hybrid models of gene regulatory networks (Q2223255) (← links)
- On-the-fly verification and optimization of DTA-properties for large Markov chains (Q2248080) (← links)
- Approximate adaptive uniformization of continuous-time Markov chains (Q2308229) (← links)
- Control variates for stochastic simulation of chemical reaction networks (Q2326581) (← links)
- Comparative branching-time semantics for Markov chains (Q2387196) (← links)
- Approximate Transient Analysis of Queuing Networks by Quasi Product Forms (Q2843052) (← links)
- Efficient Steady State Analysis of Multimodal Markov Chains (Q2843073) (← links)
- Modelling of Biochemical Reactions by Stochastic Automata Networks (Q2864207) (← links)
- Parameter estimation for stochastic hybrid models of biochemical reaction networks (Q2986763) (← links)
- FORMALISMS FOR SPECIFYING MARKOVIAN POPULATION MODELS (Q3016219) (← links)
- Infinite level-dependent QBD processes and matrix-analytic solutions for stochastic chemical kinetics (Q3111053) (← links)
- Bounding the equilibrium distribution of Markov population models (Q4897510) (← links)
- Bisimulation and Simulation Relations for Markov Chains (Q5262953) (← links)
- Reconstruction of Multimodal Distributions for Hybrid Moment-based Chemical Kinetics, Supporting Information (Q6255450) (← links)
