SR SR18 PAPERS: KEYWORD INDEX

A | |

abstract winning condition | |

admissibility | |

Alternating-time Temporal Logic | |

Automata with counters | |

B | |

Bidding games | |

Boolean games | |

C | |

category theory | |

compositionality | |

D | |

dependence maps | |

dominance | |

E | |

elementary semantics | |

F | |

Formal Methods | |

G | |

games played on finite graphs | |

graph | |

H | |

Hierarchical information | |

I | |

Imperfect information | |

Implementation and benchmarks for parity games | |

increasing chains | |

infinite duration | |

Iterated Boolean games | |

L | |

Linear Temporal Logic | |

Logics for strategic reasoning | |

M | |

Mean-payoff games | |

model checking | |

Multi-agent systems | |

Multi-player games | |

N | |

Nash equilibria | |

Nash equilibrium | |

O | |

open games | |

order theory | |

P | |

parity games | |

Prompt LTL | |

R | |

rationality | |

Richman games | |

S | |

skolemization | |

Strategy Logic | |

Symbolic Algorithms | |

T | |

Two-player win/lose | |

V | |

Verification |