Synchronous Agents, Verification, and Blame - A Deontic View
Paper i proceeding, 2023
Författare
Karam Kharraz
Universitaet Zu Lübeck
Shaun Azzopardi
Göteborgs universitet
Chalmers, Data- och informationsteknik, Formella metoder
Gerardo Schneider
Göteborgs universitet
Chalmers, Data- och informationsteknik, Data Science och AI
Martin Leucker
Universitaet Zu Lübeck
Vol. 14446 LNCS 332-350
978-3-031-47962-5 (ISBN)
Lima, Peru,
Ämneskategorier (SSIF 2025)
Filosofi
Datavetenskap (datalogi)
DOI
10.1007/978-3-031-47963-2_20