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.

From POMDP Executions to Probabilistic Axioms

Daniele Meli, Giulio Mazzi, Alberto Castellini, Alessandro Farinelli. From POMDP Executions to Probabilistic Axioms. In Luca Geatti, Guido Sciavicco, Alessandro Umbrico, editors, Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), Udine, Italy, November 28, 2022. Volume 3311 of CEUR Workshop Proceedings, pages 93-98, CEUR-WS.org, 2022. [doi]

Authors

Daniele Meli

This author has not been identified. Look up 'Daniele Meli' in Google

Giulio Mazzi

This author has not been identified. Look up 'Giulio Mazzi' in Google

Alberto Castellini

This author has not been identified. Look up 'Alberto Castellini' in Google

Alessandro Farinelli

This author has not been identified. Look up 'Alessandro Farinelli' in Google
runs on