![](/img/cover-not-exists.png)
Synthesis of Provably Correct Autonomy Protocols for Shared Control
Cubuktepe, Murat, Jansen, Nils, Alshiekh, Mohammed, Topcu, UfukYear:
2020
Journal:
IEEE Transactions on Automatic Control
DOI:
10.1109/TAC.2020.3018029
File:
PDF, 718 KB
2020