Generalizing Platform-Aware Mission Planning for Infinite-State Timed Transition Systems.

Stefan Panjkovic, Alessandro Cimatti, Andrea Micheli, Stefano Tonetta

Browse the full KR paper archive.