The following pages link to Luca Bortolussi (Q259040):
Displaying 50 items.
- Hybrid behaviour of Markov population models (Q259041) (← links)
- Smoothed model checking for uncertain continuous-time Markov chains (Q259074) (← links)
- HYPE: hybrid modelling by composition of flows (Q470011) (← links)
- Hybrid dynamics of stochastic \(\pi \)-calculus (Q626878) (← links)
- Abstraction-guided truncations for stationary distributions of Markov population models (Q832087) (← links)
- Modeling biological systems in stochastic concurrent constraint programming (Q941672) (← links)
- Hybrid dynamics of stochastic programs (Q969181) (← links)
- Policy learning for time-bounded reachability in continuous-time Markov decision processes via doubly-stochastic gradient ascent (Q1693106) (← links)
- Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation (Q1693119) (← links)
- Generalized method of moments for stochastic reaction networks in equilibrium (Q1706577) (← links)
- Matching models across abstraction levels with Gaussian processes (Q1706579) (← links)
- Model checking Markov population models by stochastic approximations (Q1784959) (← links)
- Deep abstractions of chemical reaction networks (Q1796481) (← links)
- Analysis of Markov jump processes under terminal constraints (Q2044200) (← links)
- Bounding mean first passage times in population continuous-time Markov chains (Q2056989) (← links)
- Abstraction of Markov population dynamics via generative adversarial nets (Q2142099) (← links)
- Fluid approximation of broadcasting systems (Q2306023) (← links)
- Bayesian statistical parameter synthesis for linear temporal properties of stochastic models (Q2324239) (← links)
- Control variates for stochastic simulation of chemical reaction networks (Q2326581) (← links)
- Model checking single agent behaviours by fluid approximation (Q2346412) (← links)
- System design of stochastic models using robustness of temporal properties (Q2348023) (← links)
- Mean-Field Limits Beyond Ordinary Differential Equations (Q2822663) (← links)
- (Hybrid) automata and (stochastic) programs. The hybrid automata lattice of a stochastic program (Q2843996) (← links)
- Stochastic concurrent constraint programming and differential equations (Q2870282) (← links)
- Spearman permutation distances and Shannon's distinguishability (Q2898471) (← links)
- Fluid Model Checking (Q2912688) (← links)
- Language sampling for universal grammars (Q2914232) (← links)
- Learning and Designing Stochastic Processes from Logical Constraints (Q2941751) (← links)
- Fluid Model Checking of Timed Properties (Q2945594) (← links)
- HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour (Q3184681) (← links)
- Coding Theory: A General Framework and Two Inverse Problems (Q3187047) (← links)
- (Q3416170) (← links)
- (Q3533407) (← links)
- Stochastic Programs and Hybrid Automata for (Biological) Modeling (Q3576036) (← links)
- Hybrid Semantics for Stochastic π-Calculus (Q3599192) (← links)
- Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back (Q3642958) (← links)
- (Q3656139) (← links)
- (Q4553288) (← links)
- Fluid Analysis of Spatio-Temporal Properties of Agents in a Population Model (Q4571083) (← links)
- FUZZY POSSIBILITIES AS UPPER PREVISIONS (Q4673674) (← links)
- (Q4965816) (← links)
- Central Limit Model Checking (Q4972157) (← links)
- (Q5028457) (← links)
- Logic-Based Multi-objective Design of Chemical Reaction Networks (Q5204380) (← links)
- Reachability Computation for Switching Diffusions (Q5275319) (← links)
- Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation (Q5300886) (← links)
- Codeword distinguishability in minimum diversity decoding (Q5307747) (← links)
- Model-Based Whole-Genome Analysis of DNA Methylation Fidelity (Q5376907) (← links)
- Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic (Q5376908) (← links)
- The Importance of Being (A Little Bit) Discrete (Q5404075) (← links)
