@inproceedings{2b4fd45a7dc14d829d6176c90769a645,
title = "Poster: CODEV: Automated model predictive control design and formal verification",
author = "Nicole Chan and Sayan Mitra",
note = "Copyright: Copyright 2018 Elsevier B.V., All rights reserved.; 21st International Conference on Hybrid Systems: Computation and Control, HSCC 2018 ; Conference date: 11-04-2018 Through 13-04-2018",
year = "2018",
month = apr,
day = "11",
doi = "10.1145/3178126.3187003",
language = "English (US)",
series = "HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)",
publisher = "Association for Computing Machinery",
pages = "281--282",
booktitle = "HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems",
address = "United States",
}