First Page | Document Content | |
---|---|---|
Date: 2015-05-16 17:33:04Microeconomics Economy Avionics Robotics Unmanned aerial vehicle Wireless Pareto efficiency Workload Business | Controller Synthesis for Autonomous Systems Interacting with Human Operators ∗ Lu Feng Clemens WiltscheAdd to Reading ListSource URL: www.prismmodelchecker.orgDownload Document from Source WebsiteFile Size: 744,42 KBShare Document on Facebook |