The following pages link to (Q3172532):
Displayed 8 items.
- Efficient path planning algorithms in reach-avoid problems (Q1640226) (← links)
- Knowledge-based strategies for multi-agent teams playing against nature (Q2152496) (← links)
- Strategy synthesis for multi-dimensional quantitative objectives (Q2249657) (← links)
- Approximate verification of strategic abilities under imperfect information (Q2289016) (← links)
- Specification and Verification of Multi-Agent Systems (Q3166991) (← links)
- (Q5020996) (← links)
- (Q5021006) (← links)
- Optimally Resilient Strategies in Pushdown Safety Games (Q5089248) (← links)