You are here

Home › Research › Publications ›

Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service

TitleRuntime Verification of Autonomous Systems Utilizing Digital Twins as a Service
Publication TypeConference Paper
Year of Publication2024
AuthorsKristensen, MHaahr, Bonizzi, A, Gomes, C, Hansen, SThrane, Martin, CIgnacio Is, Iven, H, Kamburjan, E, Larsen, PGorm, Leucker, M, Talasila, P, Tang, VTrøjgård, Tonetta, S, Vosteen, LBernd, Wright, T
Conference NameIEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2024 - Companion, Aarhus, Denmark, September 16-20, 2024
PublisherIEEE
URLhttps://doi.org/10.1109/ACSOS-C63493.2024.00042
DOI10.1109/ACSOS-C63493.2024.00042
Bibtex: 
@inproceedings {1453,
	title = {Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service},
	booktitle = {IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2024 - Companion, Aarhus, Denmark, September 16-20, 2024},
	year = {2024},
	publisher = {IEEE},
	organization = {IEEE},
	doi = {10.1109/ACSOS-C63493.2024.00042},
	url = {https://doi.org/10.1109/ACSOS-C63493.2024.00042},
	author = {Morten Haahr Kristensen and Alberto Bonizzi and Cl{\'a}udio Gomes and Simon Thrane Hansen and Carlos Ignacio Isasa Martin and Hannes Iven and Eduard Kamburjan and Peter Gorm Larsen and Martin Leucker and Prasad Talasila and Valdemar Tr{\o}jg{\r a}rd Tang and Stefano Tonetta and Lars Bernd Vosteen and Thomas Wright}
}