Representing hybrid automata by action language modulo theories. - Joohyung Lee 002; Nikhil Loney; Yunsong Meng (Theory Pract. Log. Program., 2017)