15 entries « 5 of 5 »

Dennis, Louise A.; Bentzen, Martin Mose; Lindner, Felix; Fisher, Michael

Verifiable Machine Ethics in Changing Contexts Journal Article

In: Proceedings of the AAAI Conference on Artificial Intelligence, 35 (13), pp. 11470-11478, 0000.

Links | BibTeX

Biewer, Sebastian; Dimitrova, Rayna; Fries, Michael; Gazda, Maciej; Heinze, Thomas; Hermanns, Holger; Mousavi, Mohammad Reza

Conformance Relations and Hyperproperties for Doping Detection in Time and Space Journal Article Forthcoming

In: Logical Methods in Computer Science, Forthcoming.

Abstract | Links | BibTeX

Fisher, Michael; Ferrando, Angelo; Cardoso, Rafael C.

Increasing Confidence in Autonomous Systems Inproceedings

In: Ahrendt, Wolfgang; Ancona, Davide; Francalanza, Adrian (Ed.): Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at RunTime EXecution (VORTEX), pp. 1–4, ACM, 0000.

Links | BibTeX

15 entries « 5 of 5 »