Synchronous agents, verification, and blame -- a deontic view

DOI10.1007/978-3-031-47963-2_20MaRDI QIDQ6605365

Shaun Azzopardi, Karam Kharraz, Martin Leucker, Gerardo Schneider

Publication date: 13 September 2024

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: Synchronous agents, verification, and blame -- a deontic view