@InProceedings{Johnson2020,
  author    = {Taylor T. Johnson and Diego Manzanas Lopez and Patrick Musau and Hoang-Dung Tran and Elena Botoeva and Francesco Leofante and Amir Maleki and Chelsea R. Sidrane and Jiameng Fan and Chao Huang},
  booktitle = {International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH)},
  title     = {{ARCH-COMP20} category report: {A}rtificial intelligence and neural network control systems ({AINNCS}) for continuous and hybrid systems plants},
  year      = {2020},
  doi       = {10.29007/9xgv},
}

{"_id":"RxkXw263z2pEbkcQv","bibbaseid":"johnson-lopez-musau-tran-botoeva-leofante-maleki-sidrane-etal-archcomp20categoryreportartificialintelligenceandneuralnetworkcontrolsystemsainncsforcontinuousandhybridsystemsplants-2020","author_short":["Johnson, T. T.","Lopez, D. M.","Musau, P.","Tran, H.","Botoeva, E.","Leofante, F.","Maleki, A.","Sidrane, C. R.","Fan, J.","Huang, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Taylor","T."],"propositions":[],"lastnames":["Johnson"],"suffixes":[]},{"firstnames":["Diego","Manzanas"],"propositions":[],"lastnames":["Lopez"],"suffixes":[]},{"firstnames":["Patrick"],"propositions":[],"lastnames":["Musau"],"suffixes":[]},{"firstnames":["Hoang-Dung"],"propositions":[],"lastnames":["Tran"],"suffixes":[]},{"firstnames":["Elena"],"propositions":[],"lastnames":["Botoeva"],"suffixes":[]},{"firstnames":["Francesco"],"propositions":[],"lastnames":["Leofante"],"suffixes":[]},{"firstnames":["Amir"],"propositions":[],"lastnames":["Maleki"],"suffixes":[]},{"firstnames":["Chelsea","R."],"propositions":[],"lastnames":["Sidrane"],"suffixes":[]},{"firstnames":["Jiameng"],"propositions":[],"lastnames":["Fan"],"suffixes":[]},{"firstnames":["Chao"],"propositions":[],"lastnames":["Huang"],"suffixes":[]}],"booktitle":"International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH)","title":"ARCH-COMP20 category report: Artificial intelligence and neural network control systems (AINNCS) for continuous and hybrid systems plants","year":"2020","doi":"10.29007/9xgv","bibtex":"@InProceedings{Johnson2020,\r\n author = {Taylor T. Johnson and Diego Manzanas Lopez and Patrick Musau and Hoang-Dung Tran and Elena Botoeva and Francesco Leofante and Amir Maleki and Chelsea R. Sidrane and Jiameng Fan and Chao Huang},\r\n booktitle = {International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH)},\r\n title = {{ARCH-COMP20} category report: {A}rtificial intelligence and neural network control systems ({AINNCS}) for continuous and hybrid systems plants},\r\n year = {2020},\r\n doi = {10.29007/9xgv},\r\n}\r\n\r\n","author_short":["Johnson, T. T.","Lopez, D. M.","Musau, P.","Tran, H.","Botoeva, E.","Leofante, F.","Maleki, A.","Sidrane, C. R.","Fan, J.","Huang, C."],"key":"Johnson2020","id":"Johnson2020","bibbaseid":"johnson-lopez-musau-tran-botoeva-leofante-maleki-sidrane-etal-archcomp20categoryreportartificialintelligenceandneuralnetworkcontrolsystemsainncsforcontinuousandhybridsystemsplants-2020","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://mykel.kochenderfer.com/sisl.bib","dataSources":["bdnWRMC3puq7qTm42"],"keywords":[],"search_terms":["arch","comp20","category","report","artificial","intelligence","neural","network","control","systems","ainncs","continuous","hybrid","systems","plants","johnson","lopez","musau","tran","botoeva","leofante","maleki","sidrane","fan","huang"],"title":"ARCH-COMP20 category report: Artificial intelligence and neural network control systems (AINNCS) for continuous and hybrid systems plants","year":2020}