Login / Signup
Synthesis of Provably Correct Autonomy Protocols for Shared Control.
Murat Cubuktepe
Nils Jansen
Mohammed Alshiekh
Ufuk Topcu
Published in:
IEEE Trans. Autom. Control. (2021)
Keyphrases
</>
provably correct
control system
adjustable autonomy
situation calculus
artificial intelligence
robotic systems
control method
program synthesis
machine learning
cooperative
open source
multiagent systems
communication protocol
error estimates