conftrace_

symbolic synthesis

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

temporal-epistemic logic (1) multi-agent system (1) boolean formula (1) parameterised system (1) finite trace (1) deterministic finite automaton (1) linear temporal logic (1) strategy synthesis (1) automata theory (1) swarm robotics (1)

Papers

Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems IJCAI 2018 Symbolic LTLf Synthesis IJCAI 2017