More adaptive does not imply less safe (with formal verification)

Conference Paper
Publication Date:
2017
Short description:
More adaptive does not imply less safe (with formal verification) / Pulina, Luca; Tacchella, A. - 10629:(2017), pp. 237-240. ( 13th International Haifa Verification Conference, HVC 2017 Haifa; Israel 13 -15 November 2017) [10.1007/978-3-319-70389-3_19].
abstract:
In this paper we provide a concise survey of our work devoted to applying formal methods to check the safety of adaptive cyber-physical systems.
Iris type:
4.1 Contributo in Atti di convegno
Keywords:
Theoretical Computer Science; Computer Science (all)
List of contributors:
Authors of the University:
Handle:
https://iris.uniss.it/handle/11388/199850
Book title:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)