Skip to content
conftrace_

stability assumption

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

clustering accuracy (1) ltl synthesis (1) finite-trace synthesis (1) infinite-trace assumption (1) fairness assumption (1) bdd-based fixpoint (1) interactive clustering (1) finite trace (1) local algorithm (1) clustering algorithm (1)

Papers

LTLƒ Synthesis with Fairness and Stability Assumptions AAAI 2020 Local algorithms for interactive clustering ICML 2014