%0 Conference Paper %1 conf/aaai/LamraniBG20 %A Lamrani, Imane %A Banerjee, Ayan %A Gupta, Sandeep K. S. %B SafeAI@AAAI %D 2020 %E Espinoza, Huáscar %E Hernández-Orallo, José %E Chen, Xin Cynthia %E ÓhÉigeartaigh, Seán S. %E Huang, Xiaowei %E Castillo-Effen, Mauricio %E Mallah, Richard %E McDermid, John A. %I CEUR-WS.org %K dblp %P 186-194 %T Toward Operational Safety Verification Via Hybrid Automata Mining Using I/O Traces of AI-Enabled CPS. %U http://dblp.uni-trier.de/db/conf/aaai/safeai2020.html#LamraniBG20 %V 2560

@inproceedings{conf/aaai/LamraniBG20, added-at = {2023-08-21T00:00:00.000+0200}, author = {Lamrani, Imane and Banerjee, Ayan and Gupta, Sandeep K. S.}, biburl = {https://www.bibsonomy.org/bibtex/2167694027287c408c90ff7a6eef4d970/dblp}, booktitle = {SafeAI@AAAI}, crossref = {conf/aaai/2020safeai}, editor = {Espinoza, Huáscar and Hernández-Orallo, José and Chen, Xin Cynthia and ÓhÉigeartaigh, Seán S. and Huang, Xiaowei and Castillo-Effen, Mauricio and Mallah, Richard and McDermid, John A.}, ee = {https://ceur-ws.org/Vol-2560/paper26.pdf}, interhash = {c2e53dcc9968810d9502446c987b0392}, intrahash = {167694027287c408c90ff7a6eef4d970}, keywords = {dblp}, pages = {186-194}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T18:00:07.000+0200}, title = {Toward Operational Safety Verification Via Hybrid Automata Mining Using I/O Traces of AI-Enabled CPS.}, url = {http://dblp.uni-trier.de/db/conf/aaai/safeai2020.html#LamraniBG20}, volume = 2560, year = 2020 }