External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal XAI via Syntax-Guided Synthesis

Katrine Bjørner, Samuel Judson, Filip Cano Córdoba, Drew Goldman, Nicholas Shoemaker, Ruzica Piskac, Bettina Könighofer. Formal XAI via Syntax-Guided Synthesis. In Bernhard Steffen, editor, Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings. Volume 14380 of Lecture Notes in Computer Science, pages 119-137, Springer, 2023. [doi]

Authors

Katrine Bjørner

This author has not been identified. Look up 'Katrine Bjørner' in Google

Samuel Judson

This author has not been identified. Look up 'Samuel Judson' in Google

Filip Cano Córdoba

This author has not been identified. Look up 'Filip Cano Córdoba' in Google

Drew Goldman

This author has not been identified. Look up 'Drew Goldman' in Google

Nicholas Shoemaker

This author has not been identified. Look up 'Nicholas Shoemaker' in Google

Ruzica Piskac

This author has not been identified. Look up 'Ruzica Piskac' in Google

Bettina Könighofer

This author has not been identified. Look up 'Bettina Könighofer' in Google
runs on