23 citations · 28 across the 4 of their papers we have counts for
1 paper · 1 filter
Joohyung Lee, Nikhil Loney, Yunsong Meng
Both hybrid automata and action languages are formalisms for describing the evolution of dynamic systems. This paper establishes a formal relationship between them. We show how to…