Generative abstraction of Markov population processes

DOI10.1016/j.tcs.2023.114169MaRDI QIDQ6052704

Fabio Anselmi, Francesca Cairoli, Luca Bortolussi, Alberto d'Onofrio

Publication date: 17 October 2023

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

simulationscalabilitymodel abstractionmulti-scalegenerative modelssurrogate modellingMarkov stochastic processgenerative adversarial netsscore-based diffusion

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Energy statistics: a class of statistics based on distances
• Stability of a 4th-order curvature condition arising in optimal transport theory
• Deep abstractions of chemical reaction networks
• Abstraction of Markov population dynamics via generative adversarial nets
• Statistical probabilistic model checking with a focus on time-bounded properties
• Robust Satisfaction of Temporal Logic over Real-Valued Signals
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems