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.

Towards Learning From Graph Representable Formal Models

Marco Sälzer, Georg Siebert. Towards Learning From Graph Representable Formal Models. In Dario Della Monica, Gian Luca Pozzato, Enrico Scala, editors, Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021. Volume 2987 of CEUR Workshop Proceedings, pages 67-71, CEUR-WS.org, 2021. [doi]

Authors

Marco Sälzer

This author has not been identified. Look up 'Marco Sälzer' in Google

Georg Siebert

This author has not been identified. Look up 'Georg Siebert' in Google
runs on