related documents Bounded-rate multi-mode systems based motion planning Conference Proceeding Compositional construction of approximate abstractions Conference Proceeding What's decidable about recursive hybrid automata? Conference Proceeding
