Diagnosis of Hybrid Systems using SMT

Cody Christopher

ARTIFICIAL INTELLIGENCE SEMINAR PhD monitoring

DATE: 2013-11-19
TIME: 12:30:00 - 13:00:00
LOCATION: RSISE Seminar Room, ground floor, building 115, cnr. North and Daley Roads, ANU
CONTACT: JavaScript must be enabled to display this email address.

ABSTRACT:

BIO:

Updated: 19 November 2013 / Responsible Officer: JavaScript must be enabled to display this email address. / Page Contact: JavaScript must be enabled to display this email address. / Powered by: Snorkel 1.4