1 paper
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…