conftrace_

multi-tier environment

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

best-effort synthesis (1) deterministic finite automaton (1) linear temporal logic (1) strategy synthesis (1) game theory (1)

Papers

Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments IJCAI 2024