Learning Behavior Models for Hybrid Timed Systems
What's decidable about hybrid automata?