Safety Verification of Tree-Ensemble Policies via Predicate Abstraction

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Chaahat Jain, Lorenzo Cascioli, Laurens Devos, Marcel Vinzent, Marcel Steinmetz, Jesse Davis, Jörg Hoffmann

Journal title: Proceedings of the ICAPS Workshop on Reliable Data-Driven Planning and Scheduling (RDDPS'24)

Journal publisher: None

Published year: 2024