Representing hybrid automata by action language modulo theories.

Joohyung Lee Nikhil Loney Yunsong Meng

Published in: Theory Pract. Log. Program. (2017)

Keyphrases

action language
hybrid automata
answer set programming
modulo theories
description language
reasoning about actions
finite state automata
logic programming
logic programs
answer sets
situation calculus
action theories
machine learning