Michael D. Lemmon;James A. Stiver;Panos J. Antsaklis
-;-;-
Q2 Symbolic Reasoning about Noisy Dynamic Systems
Journal of Intelligent and Robotic Systems
Controllers for reachability specifications for hybrid systems
Automatica (Journal of IFAC)