Safety-aware apprenticeship learning

DOI10.1007/978-3-319-96145-3_38zbMath1511.68237arXiv1710.07983OpenAlexW2963562508MaRDI QIDQ6041137

No author found.

Publication date: 26 May 2023

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1710.07983

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Counterexample-guided inductive synthesis for probabilistic systems ⋮ Unnamed Item

This page was built for publication: Safety-aware apprenticeship learning