Interval and Point-based Approaches to Hybrid System Verification

@inproceedings{KapurIntervalAP,
  title={Interval and Point-based Approaches to Hybrid System Verification},
  author={Arjun Kapur and John Mitchell and Rajeev Motwani}
}
ii I certify that I have read this dissertation and that in my opinion it is fully adequate, in scope and in quality, as a dissertation for the degree of Doctor of Philosophy. Zohar Manna Principal Adviser I certify that I have read this dissertation and that in my opinion it is fully adequate, in scope and in quality, as a dissertation for the degree of Doctor of Philosophy. I certify that I have read this dissertation and that in my opinion it is fully adequate, in scope and in quality, as a… CONTINUE READING