Representing hybrid automata by action language modulo theories.

Saved in:

Bibliographic Details
Title:	Representing hybrid automata by action language modulo theories.
Authors:	JOOHYUNG LEE¹ joolee@asu.edu, LONEY, NIKHIL¹ nloney@asu.edu, YUNSONG MENG² Yunsong.Meng@asu.edu
Source:	Theory & Practice of Logic Programming. Sep2017, Vol. 17 Issue 5/6, p924-941. 18p.
Database:	Mathematics Source

Description
ISSN:	14710684
DOI:	10.1017/S1471068417000412