Representing hybrid automata by action language modulo theories.
Saved in:
| Title: | Representing hybrid automata by action language modulo theories. |
|---|---|
| Authors: | JOOHYUNG LEE1 joolee@asu.edu, LONEY, NIKHIL1 nloney@asu.edu, YUNSONG MENG2 Yunsong.Meng@asu.edu |
| Source: | Theory & Practice of Logic Programming. Sep2017, Vol. 17 Issue 5/6, p924-941. 18p. |
| Database: | Mathematics Source |
Be the first to leave a comment!
