conftrace_

strategy sharing

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

strategic ability (1) concurrent game structure (1) alternating-time temporal logic (1) model checking (1)

Papers

On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing AAAI 2024