[HTML] springer.com

[HTML][HTML] Bayesian statistical parameter synthesis for linear temporal properties of stochastic models

L Bortolussi, S Silvetti - Tools and Algorithms for the Construction and …, 2018 - Springer
Parameterized verification of temporal properties is an active research area, being extremely
relevant for model-based design of complex systems. In this paper, we focus on parameter …
被引用次数：44 相关文章

Bayesian statistical parameter synthesis for linear temporal properties of stochastic models

L Bortolussi, S Silvetti - 2018 - ricerca.unityfvg.it
Parameterized verification of temporal properties is an active research area, being extremely
relevant for model-based design of complex systems. In this paper, we focus on parameter …
[PDF] github.io

[PDF][PDF] Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models

L Bortolussi, S Silvetti - simonesilvetti.github.io
Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models
Page 1 Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic …
[PDF] semanticscholar.org

[PDF][PDF] Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models

L Bortolussi, S Silvetti - pdfs.semanticscholar.org
Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models
Page 1 Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic …

Bayesian statistical parameter synthesis for linear temporal properties of stochastic models

L Bortolussi, S Silvetti - LECTURE NOTES IN COMPUTER SCIENCE, 2018 - arts.units.it
Parameterized verification of temporal properties is an active research area, being extremely
relevant for model-based design of complex systems. In this paper, we focus on parameter …
[PDF] core.ac.uk

[PDF][PDF] Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models

L Bortolussi, S Silvetti - core.ac.uk
Parameterized verification of temporal properties is an active research area, being extremely
relevant for model-based design of complex systems. In this paper, we focus on parameter …
[PDF] units.it

[PDF][PDF] Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models

L Bortolussi, S Silvetti - arts.units.it
Parameterized verification of temporal properties is an active research area, being extremely
relevant for model-based design of complex systems. In this paper, we focus on parameter …