conftrace_

quantitative strategy logic

1 paper

Explore in graph

Also known as

QSL

Co-occurring keywords · papers mentioning both

strategic properties (1) automated synthesis (1) mechanism design (1) game theory (1)

Papers

Automated Synthesis of Mechanisms IJCAI 2022