28 citations · 56 across the 22 of their papers we have counts for
1 paper · 1 filter
Nils Jansen, Murat Cubuktepe, Ufuk Topcu
We formalize synthesis of shared control protocols with correctness guarantees for temporal logic specifications. More specifically, we introduce a modeling formalism in which both…