. (2015). System design of stochastic models using robustness of temporal properties. Theoretical Computer Science, 587, 3 - 25. https://doi.org/http://dx.doi.org/10.1016/j.tcs.2015.02.046
Ezio Bartocci
First name
Ezio
Last name
Bartocci
. (2014). A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems. Corr, abs/1409.5671. Retrieved de http://arxiv.org/abs/1409.5671
. (2017). {SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems}. Haifa Verification Conference, to appear. Presented at the.
. (2017). Quantitative Regular Expressions for Arrhythmia Detection Algorithms. International Conference on Computational Methods in Systems Biology. Presented at the. Darmstadt, Germany : Springer, Cham. https://doi.org/https://doi.org/10.1007/978-3-319-67471-1_2 (Original work published 2017)
. (2018). An Algebraic Framework for Runtime Verification. Corr, abs/1802.03775. Retrieved de http://arxiv.org/abs/1802.03775