Bayes-Adaptive Planning for Data-Efficient Verification of Uncertain Markov Decision Processes

DOI10.1007/978-3-030-30281-8_6MaRDI QIDQ6488997

Alessandro Abate, [[Person:6488996|Author name not available (Why is that?)]]

Publication date: 14 March 2024

Mathematics Subject Classification ID

Bayesian inference (62F15) Learning and adaptive systems in artificial intelligence (68T05) Markov and semi-Markov decision processes (90C40) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Data-driven verification and synthesis of stochastic systems via barrier certificates ⋮ Probabilistic reach-avoid for Bayesian neural networks

This page was built for publication: Bayes-Adaptive Planning for Data-Efficient Verification of Uncertain Markov Decision Processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6488997)