Cheung, Patrick

1 publications

IJCAI 2001 Distributed Monitoring of Hybrid Systems: A Model-Directed Approach Feng Zhao, Xenofon D. Koutsoukos, Horst W. Haussecker, James Reich, Patrick Cheung, Claudia Picardi