Synchronous Agents, Verification, and Blame - A Deontic View.

Karam Younes Kharraz, Shaun Azzopardi, Gerardo Schneider, Martin Leucker

Browse the full ICTAC paper archive.