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.

Automated Planning Through Program Verification

Salvatore La Torre, Gennaro Parlato. Automated Planning Through Program Verification. 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 13-17, CEUR-WS.org, 2021. [doi]

Authors

Salvatore La Torre

This author has not been identified. Look up 'Salvatore La Torre' in Google

Gennaro Parlato

This author has not been identified. Look up 'Gennaro Parlato' in Google
runs on