The following pages link to (Q4461957):
Displaying 5 items.
- The independent choice logic for modelling multiple agents under uncertainty (Q1391346) (← links)
- Undecidability in decentralized supervision (Q2504549) (← links)
- Inference Rules in Multi-agents’ Temporal Logics (Q3013073) (← links)
- (Q3425580) (← links)
- Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL (Q3507416) (← links)