Title

Bridging the Gap Between AI and Reality. First International Conference, AISoLA 2023. Proceedings

Title Supplement

Crete, Greece, October 23-28, 2023

Editor(s)

Steffen, Bernhard

Publisher

Springer Nature

Publication Date

2024

Series

Lecture Notes in Computer Science; 14380

ISBN

978-3-031-46001-2

978-3-031-46002-9

978-3-031-46003-6

DOI

10.1007/978-3-031-46002-9

Conference

International Symposium on Leveraging Applications of Formal Methods 2023

International Conference on Bridging the Gap between AI and Reality 2023

Acronym

ISoLA

AISoLA

Language

English