Pages that link to "Item:Q2211871"
From MaRDI portal
The following pages link to Automated temporal equilibrium analysis: verification and synthesis of multi-player games (Q2211871):
Displaying 10 items.
- Verification of multi-agent systems with public actions against strategy logic (Q785241) (← links)
- Automated verification of state sequence invariants in general game playing (Q1761287) (← links)
- Characterization, verification and generation of strategies in games with resource constraints (Q2125548) (← links)
- Automatic verification of concurrent stochastic systems (Q2147696) (← links)
- From model checking to equilibrium checking: reactive modules for rational verification (Q2407463) (← links)
- A Tool for the Automated Verification of Nash Equilibria in Concurrent Games (Q2787450) (← links)
- Automata-Based Computation of Temporal Equilibrium Models (Q4909313) (← links)
- On the complexity of rational verification (Q6133701) (← links)
- Incentive Engineering for Concurrent Games (Q6199620) (← links)
- Quantitative reachability Stackelberg-Pareto synthesis is \textsf{NEXPTIME}-complete (Q6623016) (← links)
