@conference {385, title = {Planning, Scheduling and Monitoring for Airport Surface Operations}, booktitle = {AAAI-16 Workshop on Planning for Hybrid Systems (PlanHS)}, year = {2016}, keywords = {workshop}, author = {Robert Morris and Corina Pasareanu and Kasper Luckow and Waqar Malik and Hang Ma and T. K. Satish Kumar and Sven Koenig} }