Controller Synthesis for Autonomous Systems Interacting with Human Operators ∗ Lu Feng Clemens Wiltsche

First Page		Document Content
Date: 2015-05-16 17:33:04 Microeconomics Economy Avionics Robotics Unmanned aerial vehicle Wireless Pareto efficiency Workload Business		Controller Synthesis for Autonomous Systems Interacting with Human Operators ∗ Lu Feng Clemens Wiltsche Add to Reading List Source URL: www.prismmodelchecker.org Download Document from Source Website File Size: 744,42 KB Share Document on Facebook