AI Verification: First International Symposium. Avni, G., Giacobbe, M., Johnson, T. T, Katz, G., Lukina, A., Narodytska, N., & Schilling, C. Lecture Notes in Computer Science, 14846:189, Springer, 2024. ![AI Verification: First International Symposium [link]](https://bibbase.org/img/filetypes/link.svg "link")
Doi bibtex 1 download @article{avni2024ai,
title={AI Verification: First International Symposium},
author={Avni, Guy and Giacobbe, Mirco and Johnson, Taylor T and Katz, Guy and Lukina, Anna and Narodytska, Nina and Schilling, Christian},
journal={Lecture Notes in Computer Science},
volume={14846},
pages={189},
year={2024},
publisher={Springer},
url_doi={https://dl.acm.org/doi/proceedings/10.1007/978-3-031-65112-0}
}
Downloads: 1
{"_id":"FdNFbt4j93Yy6Yb5E","bibbaseid":"avni-giacobbe-johnson-katz-lukina-narodytska-schilling-aiverificationfirstinternationalsymposium-2024","author_short":["Avni, G.","Giacobbe, M.","Johnson, T. T","Katz, G.","Lukina, A.","Narodytska, N.","Schilling, C."],"bibdata":{"bibtype":"article","type":"article","title":"AI Verification: First International Symposium","author":[{"propositions":[],"lastnames":["Avni"],"firstnames":["Guy"],"suffixes":[]},{"propositions":[],"lastnames":["Giacobbe"],"firstnames":["Mirco"],"suffixes":[]},{"propositions":[],"lastnames":["Johnson"],"firstnames":["Taylor","T"],"suffixes":[]},{"propositions":[],"lastnames":["Katz"],"firstnames":["Guy"],"suffixes":[]},{"propositions":[],"lastnames":["Lukina"],"firstnames":["Anna"],"suffixes":[]},{"propositions":[],"lastnames":["Narodytska"],"firstnames":["Nina"],"suffixes":[]},{"propositions":[],"lastnames":["Schilling"],"firstnames":["Christian"],"suffixes":[]}],"journal":"Lecture Notes in Computer Science","volume":"14846","pages":"189","year":"2024","publisher":"Springer","url_doi":"https://dl.acm.org/doi/proceedings/10.1007/978-3-031-65112-0","bibtex":"@article{avni2024ai,\n title={AI Verification: First International Symposium},\n author={Avni, Guy and Giacobbe, Mirco and Johnson, Taylor T and Katz, Guy and Lukina, Anna and Narodytska, Nina and Schilling, Christian},\n journal={Lecture Notes in Computer Science},\n volume={14846},\n pages={189},\n year={2024},\n publisher={Springer},\n url_doi={https://dl.acm.org/doi/proceedings/10.1007/978-3-031-65112-0}\n}\n\n","author_short":["Avni, G.","Giacobbe, M.","Johnson, T. T","Katz, G.","Lukina, A.","Narodytska, N.","Schilling, C."],"key":"avni2024ai","id":"avni2024ai","bibbaseid":"avni-giacobbe-johnson-katz-lukina-narodytska-schilling-aiverificationfirstinternationalsymposium-2024","role":"author","urls":{" doi":"https://dl.acm.org/doi/proceedings/10.1007/978-3-031-65112-0"},"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"article","biburl":"https://bibbase.org/network/files/G5eTRxih7rgFAfvXm","dataSources":["DvtkfMrf7vkMYxo4r","DemgDoocsmikyJJo7","WEznGv8jDoFee2dzG","zKJJFNb8JGPdNpeGG"],"keywords":[],"search_terms":["verification","first","international","symposium","avni","giacobbe","johnson","katz","lukina","narodytska","schilling"],"title":"AI Verification: First International Symposium","year":2024,"downloads":1}