The following pages link to Deontic Logic in Computer Science (Q5901590):
Displaying 5 items.
- A formalisation of violation, error recovery, and enforcement in the bit transmission problem (Q598545) (← links)
- Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams (Q2372185) (← links)
- Bounded model checking for deontic interpreted systems (Q2848072) (← links)
- A deontic logic analysis of autonomous systems' safety (Q5146393) (← links)
- Synchronous agents, verification, and blame -- a deontic view (Q6605365) (← links)