eBook
Formal XAI via Syntax-Guided Synthesis
| Title: | Formal XAI via Syntax-Guided Synthesis |
|---|---|
| Authors: | Bjørner, KatrineAff8, Judson, SamuelAff9, Cano, FilipAff10, Goldman, DrewAff11, Shoemaker, NickAff9, Piskac, RuzicaAff9, Könighofer, BettinaAff10 |
| Contributors: | Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Aff7, Yung, Moti, Editorial Board MemberAff6 |
| Source: | Bridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings. 14380:119-137 |
| Database: | Springer Nature eBooks |
| ISBN: | 9783031460012 9783031460029 |
|---|---|
| DOI: | 10.1007/978-3-031-46002-9_7 |