Platform-Aware Mission Planning

Stefan Panjkovic, Alessandro Cimatti, Andrea Micheli +1

Planning for autonomous systems typically requires reasoning with models at different levels of abstraction, and the harmonization of two competing sets of objectives: high-level m…