Biblio

Export 56 results:
Author Title Type [ Year(Asc)]
Filters: Author is Corina Pasareanu  [Clear All Filters]
2016
R. Morris, Pasareanu, C., Luckow, K., Malik, W., Ma, H., Kumar, T. K. Satish, and Koenig, S., “Planning, Scheduling and Monitoring for Airport Surface Operations”, in AAAI-16 Workshop on Planning for Hybrid Systems (PlanHS), 2016.