Fetching the paper…
Reading the bibliography…
We consider the problem of computing the satisfaction probability of a formula for stochastic models with parametric uncertainty.
Exact stochastic simulation of coupled chemical reactions
D. T. Gillespie · 1977
Earlier work this paper cites.
Stochastic Epidemic Models and Their Statistical Analysis
H. Andersson and T. Britton · 2000
Earlier work this paper cites.
Gaussian processes for classification: Mean-field algorithms
Manfred Opper and Ole Winther · 2000
Earlier work this paper cites.
Expectation propagation for approximate bayesian inference
Thomas P. Minka · 2001
Earlier work this paper cites.
STOCKS: STOChastic Kinetic Simulations of biochemical systems with Gillespie algorithm
Andrzej M Kierzek · 2002
Earlier work this paper cites.
On the influence of the kernel on the consistency of support vector machines
Ingo Steinwart · 2002
Earlier work this paper cites.
Probabilistic symbolic model checking with prism: A hybrid approach
Marta Kwiatkowska, Gethin Norman, and David Parker · 2004
Earlier work this paper cites.
Monitoring temporal properties of continuous signals
Oded Maler and Dejan Nickovic · 2004
Earlier work this paper cites.
Efficient computation of time-bounded reachability probabilities in uniform continuous-time markov decision processes
C. Baier, H. Hermanns, J.-P. Katoen, and B. R. Haverkort · 2005
Earlier work this paper cites.
Approximate inference techniques with expectation constraints
T. Heskes, M. Opper, W. Wiegerinck, O. Winther, and O. Zoeter · 2005
Earlier work this paper cites.
A markov reward model checker
J.-P. Katoen, Maneesh Khattri, and I. S. Zapreevt · 2005
Earlier work this paper cites.
Assessing approximate inference for binary gaussian process classification
Malte Kuss and Carl Edward Rasmussen · 2005
Earlier work this paper cites.
Gaussian processes for machine learning
Carl Edward Rasmussen and Christopher K. I Williams · 2006
Earlier work this paper cites.
Statistical probabilistic model checking with a focus on time-bounded properties
Håkan L.S. Younes and Reid G. Simmons · 2006
Earlier work this paper cites.
Three-valued abstraction for continuous-time markov chains
J.-P. Katoen, D. Klink, M. Leucker, and V. Wolf · 2007
Cited alongside, same era.
Variational inference for markov jump processes
Manfred Opper and Guido Sanguinetti · 2007
Cited alongside, same era.
A model checking approach to the parameter estimation of biochemical pathways
Robin Donaldson and David Gilbert · 2008
Cited alongside, same era.
Bio-PEPA: A framework for the modelling and analysis of biological systems
Federica Ciocchetta and J. Hillston · 2009
Cited alongside, same era.
Imprecise markov chains and their limit behavior
Gert De Cooman, Filip Hermans, and Erik Quaeghebeur · 2009
Cited alongside, same era.
Smoothed analysis: an attempt to explain the behavior of algorithms in practice
Daniel A. Spielman and Shang-Hua Teng · 2009
Cited alongside, same era.
Essentials of Stochastic Processes
Richard Durrett · 2012
Later among the works it cites.
Statistical model checking for markov decision processes
David Henriques, Joao G. Martins, Paolo Zuliani, André Platzer, and Edmund M. Clarke · 2012
Later among the works it cites.
Cross-entropy optimisation of importance sampling parameters for statistical model checking
Cyrille Jegourel, Axel Legay, and Sean Sedwards · 2012
Later among the works it cites.
Rare-event verification for stochastic hybrid systems
Paolo Zuliani, Christel Baier, and Edmund M. Clarke · 2012
Later among the works it cites.
On the robustness of temporal properties for stochastic models
Ezio Bartocci, Luca Bortolussi, Laura Nenzi, and Guido Sanguinetti · 2013
Later among the works it cites.
Learning temporal logical properties discriminating ECG models of cardiac arrhytmias
Ezio Bartocci, Luca Bortolussi, and Guido Sanguinetti · 2013
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Robust satisfaction of temporal logic over real-valued signals
Alexandre Donzé and Oded Maler · 2010
Cited alongside, same era.
Bayesian statistical model checking with application to simulink/stateflow verification
Paolo Zuliani, André Platzer, and Edmund M. Clarke · 2010
Cited alongside, same era.
Model repair for probabilistic systems
Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan, and Scott A. Smolka · 2011
Cited alongside, same era.
Constraint markov chains
Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, and Andrzej Wasowski · 2011
Cited alongside, same era.
Time-bounded verification of ctmcs against real-time specifications
Taolue Chen, Marco Diciolla, Marta Kwiatkowska, and Alexandru Mereacre · 2011
Cited alongside, same era.
PRISM 4.0: Verification of probabilistic real-time systems
Marta Kwiatkowska, Gethin Norman, and David Parker · 2011
Cited alongside, same era.
Later among the works it cites.
LTL model checking of interval markov chains
Michael Benedikt, Rastislav Lenhardt, and James Worrell · 2013
Later among the works it cites.
Continuous approximation of collective systems behaviour: a tutorial
L. Bortolussi, J. Hillston, D. Latella, and M. Massink · 2013
Later among the works it cites.
Learning and designing stochastic processes from logical constraints
L. Bortolussi and G. Sanguinetti · 2013
Later among the works it cites.
Exploring parameter space of stochastic biochemical systems using quantitative model checking
Luboš Brim, Milan Češka, Sven Dražan, and David Šafránek · 2013
Later among the works it cites.
Abc–fun: A probabilistic programming language for biology
Anastasis Georgoulas, Jane Hillston, and Guido Sanguinetti · 2013
Later among the works it cites.
Data-driven statistical learning of temporal logic properties
Ezio Bartocci, Luca Bortolussi, and Guido Sanguinetti · 2014
Closest in time.
Precise parameter synthesis for stochastic biochemical systems
Milan Češka, Frits Dannenberg, Marta Kwiatkowska, and Nicola Paoletti · 2014
Closest in time.
Statistical abstraction boosts design and test efficiency of evolving critical systems
Axel Legay and Sean Sedwards · 2014
Closest in time.