14 citations · 24 across the 5 of their papers we have counts for
1 paper · 1 filter
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…