Zobrazeno 1 - 10
of 41
pro vyhledávání: '"Visconti, Ennio"'
We propose an interdisciplinary framework that combines Bayesian predictive inference, a well-established tool in Machine Learning, with Formal Methods rooted in the computer science community. Bayesian predictive inference allows for coherently inco
Externí odkaz:
http://arxiv.org/abs/2110.01360
From biological systems to cyber-physical systems, monitoring the behavior of such dynamical systems often requires to reason about complex spatio-temporal properties of physical and/or computational entities that are dynamically interconnected and a
Externí odkaz:
http://arxiv.org/abs/2109.08081
Autor:
Visconti, Ennio1 (AUTHOR), Tsigkanos, Christos1 (AUTHOR) christos.tsigkanos@tuwien.ac.at, Hu, Zhenjiang2 (AUTHOR), Ghezzi, Carlo3 (AUTHOR)
Publikováno v:
Software & Systems Modeling. Dec2021, Vol. 20 Issue 6, p2003-2022. 20p.
Autor:
Visconti, Ennio
Source code + experiments replication package. Read the README.md for running instructions.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5bfbb3bb5a224e8f764103b492f9a8d9
Autor:
Visconti, Ennio
Scripts and data to reporduce decentmon analysis and evaluation. This repo is thought to provide information already by exploring it, although any of the notebook can be locally run and modified. The notebooks can be run in two ways, via docker (unst
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::aa6c07d41c431dad04a0706944112661
We propose an interdisciplinary framework, Bayesian formal predictive model assessment. It combines Bayesian predictive inference, a well established tool in statistics, with formal verification methods rooting in the computer science community. Baye
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e5240f9c2d5a0b5b898b4e071219d8c6