Synthesis of Provably Correct Autonomy Protocols for Shared Control.

Murat Cubuktepe Nils Jansen Mohammed Alshiekh Ufuk Topcu

Published in: CoRR (2019)

Keyphrases

provably correct
situation calculus
multi agent systems
control system
adjustable autonomy
machine learning
decision making
cooperative
data sets
case study
reinforcement learning
expert systems
communication protocol
error estimates