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 |
Be the first to leave a comment!