Name
Abstract | ||
|---|---|---|
Self-integrating and self-improving system are required to verify their state in order to understand whether they have achieved their goal or need to adapt themselves to reach it. In this short position paper, we outline the main challenges specifically when verifying systems interacting with each other and operating under uncertainties. A short outline of the uncertainties is given as well as a b... |
Year | DOI | Venue |
|---|---|---|
2021 | 10.1109/ACSOS-C52956.2021.00050 | 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C) |
Keywords | DocType | ISBN |
Uncertainty,Conferences | Conference | 978-1-6654-4393-7 |
Citations | PageRank | References |
1 | 0.37 | 0 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Lukas Esterle | 1 | 1 | 0.37 |
| Barry Porter | 2 | 1 | 0.37 |
| Jim Woodcock | 3 | 244 | 18.34 |