Login / Signup
Representing Hybrid Automata by Action Language Modulo Theories.
Joohyung Lee
Nikhil Loney
Yunsong Meng
Published in:
CoRR (2017)
Keyphrases
</>
action language
hybrid automata
answer set programming
modulo theories
description language
reasoning about actions
finite state automata
logic programs
stable model semantics
action theories
high level
answer sets
orders of magnitude