Pages that link to "Item:Q598545"
From MaRDI portal
The following pages link to A formalisation of violation, error recovery, and enforcement in the bit transmission problem (Q598545):
Displaying 4 items.
- Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems (Q528185) (← links)
- Agent strands in the action language \(n\mathcal C +\) (Q931775) (← links)
- Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams (Q2372185) (← links)
- A communication algorithm for teamwork in multi-agent environments (Q5188175) (← links)