@inproceedings{da451271c3114b05908dccf0c0687be6,
title = "Welcome Remarks from AISoLA 2023/Track C2 Chairs",
abstract = "We are happy to present the proceedings of AISoLA{\textquoteright}s Track C2: Verification meets Learning and Statistics.",
author = "Nils Jansen and Bettina K{\"o}nighofer and Jan K{\v r}et{\'i}nsk{\'y} and Kim Larsen",
note = "Publisher Copyright: {\textcopyright} 2024, The Author(s), under exclusive license to Springer Nature Switzerland AG.; 1st International Conference on Bridging the Gap between AI and Reality, AISoLA 2023 ; Conference date: 23-10-2023 Through 28-10-2023",
year = "2024",
doi = "10.1007/978-3-031-46002-9_2",
language = "English",
isbn = "9783031460012",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "25--32",
editor = "Bernhard Steffen",
booktitle = "Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings",
}