Decidable verification of decision-theoretic Golog

DOI10.1007/978-3-319-66167-4_13zbMath1495.68029OpenAlexW2748055228MaRDI QIDQ1687559

Benjamin Zarrieß, Jens Claßen

Publication date: 4 January 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-66167-4_13

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)

This page was built for publication: Decidable verification of decision-theoretic Golog