Search Results for author:
Found 1 papers, 0 papers with code
Representing Hybrid Automata by Action Language Modulo Theories
We first show how to represent linear hybrid automata with convex invariants by an action language modulo theories.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
