Biblio
Export 54 results:
Author Title Type [ Year] Filters: Author is Corina Pasareanu [Clear All Filters]
“Planning, Scheduling and Monitoring for Airport Surface Operations”, in AAAI-16 Workshop on Planning for Hybrid Systems (PlanHS), 2016.
,