DIMACS Workshop on Verification and Control of Hybrid Systems

October 22 - 25, 1995
Rutgers University, CoRE Building, Piscataway, NJ

Rajeev Alur, AT&T Labs, alur@research.att.com
Tom Henzinger, Cornell University, tah@cs.cornell.edu
Eduardo Sontag, Rutgers University, sontag@control.rutgers.edu Co-sponsored by DIMACS and the Rutgers Center for Systems and Control (SYCON)

Presented under the auspices of the DIMACS Special Year on Logic and Algorithms

Other Workshops
DIMACS Homepage
Contacting the Center
Document last modified on April 21, 1995