@misc{indiciae8d1db6115740,
  title = {Representing Hybrid Automata by Action Language Modulo Theories},
  author = {Joohyung Lee and Nikhil Loney and Yunsong Meng},
  year = {2017},
  url = {https://arxiv.org/abs/1707.06387},
  note = {Source identifier: 1707.06387}
}