The following pages link to Luca Laurenti (Q1693118):
Displayed 14 items.
- Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation (Q1693119) (← links)
- A stochastic hybrid approximation for chemical kinetics based on the linear noise approximation (Q1706581) (← links)
- Experimental biological protocols with formal semantics (Q1796495) (← links)
- Syntax-guided optimal synthesis for chemical reaction networks (Q2164238) (← links)
- Programming Discrete Distributions with Chemical Reaction Networks (Q2835702) (← links)
- Central Limit Model Checking (Q4972157) (← links)
- PID Control of Biochemical Reaction Networks (Q5034100) (← links)
- Efficiency through uncertainty (Q5239245) (← links)
- Reachability Computation for Switching Diffusions (Q5275319) (← links)
- Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes (Q5853981) (← links)
- Programming discrete distributions with chemical reaction networks (Q6084210) (← links)
- A Bayesian defect-based physics-guided neural network model for probabilistic fatigue endurance limit evaluation (Q6118588) (← links)
- Distributionally Robust Strategy Synthesis for Switched Stochastic Systems (Q6202089) (← links)
- Interval Markov Decision Processes with Continuous Action-Spaces (Q6202090) (← links)