The following pages link to (Q2848072):
Displayed 4 items.
- Parameterised verification for multi-agent systems (Q253980) (← links)
- Bounded model checking for knowledge and real time (Q1028970) (← links)
- Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams (Q2372185) (← links)
- The logic of knowledge based obligation (Q2500829) (← links)