Return to Article Details Planning for Hybrid Systems via Satisfiability Modulo Theories Download Download PDF