System design of stochastic models using robustness of temporal properties
- 1 July 2015
- journal article
- Published by Elsevier BV in Theoretical Computer Science
- Vol. 587, 3-25
- https://doi.org/10.1016/j.tcs.2015.02.046
Abstract
No abstract availableKeywords
Funding Information
- EU-FET (600708)
- ERC (MLCS 306999)
- FFG (845631)
- COST (IC1402)
- DFG (SFB/TR 14 AVACS)
This publication has 24 references indexed in Scilit:
- Continuous approximation of collective system behaviour: A tutorialPerformance Evaluation, 2013
- Hybrid regulatory models: a statistically tractable approach to model regulatory network dynamicsBioinformatics, 2013
- Information-Theoretic Regret Bounds for Gaussian Process Optimization in the Bandit SettingIEEE Transactions on Information Theory, 2012
- (Hybrid) automata and (stochastic) programs * The hybrid automata lattice of a stochastic programJournal of Logic and Computation, 2011
- Robustness of temporal logic specifications for continuous-time signalsTheoretical Computer Science, 2009
- Probabilistic symbolic model checking with PRISM: a hybrid approachInternational Journal on Software Tools for Technology Transfer, 2004
- Model-checking algorithms for continuous-time markov chainsIEEE Transactions on Software Engineering, 2003
- Stochastic Gene Expression in a Single CellScience, 2002
- The benefits of relaxing punctualityJournal of the ACM, 1996
- Exact stochastic simulation of coupled chemical reactionsThe Journal of Physical Chemistry, 1977