TY  - RPRT
TI  - Representing Hybrid Automata by Action Language Modulo Theories
AU  - Joohyung Lee
AU  - Nikhil Loney
AU  - Yunsong Meng
PY  - 2017
UR  - https://arxiv.org/abs/1707.06387
ID  - 1707.06387
ER  -