@Article{FWHT16,
author={Lu Feng and Clemens Wiltsche and Laura Humphrey and Ufuk Topcu},
title={Synthesis of Human-in-the-Loop Control Protocols for Autonomous Systems},
journal={IEEE Transactions on Automation Science and Engineering},
year={2016},

volume={13},
number={2},
pages={450-462},
publisher={},
month={},
note={},
key={}
}