Explaining control policies through predicate decision diagrams

DOI10.1145/3716863.3718049MaRDI QIDQ6904651zbMATH OpenFDO

Authors Debraj Chakraborty, Clemens Dubslaff, Sudeep Kanav, Jan Křetínský, Christoph Weinhuber

Publication date 7 November 2025

Full work available at URL https://doi.org/10.1145/3716863.3718049

zbMATH Keywords

binary decision diagramsdecision making and controldecision treesexplainabilitylearningstrategy synthesis

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Cites work

• Counterexample explanation by learning small strategies in Markov decision processes
• dtControl
• Explaining control policies through predicate decision diagrams
• Explicativity: a mathematical theory of explanation with statistical applications
• Graph-Based Algorithms for Boolean Function Manipulation
• Handbook of satisfiability. In 2 parts
• scientific article; zbMATH DE number 1696764 (Why is no real title available?)
• scientific article; zbMATH DE number 438994 (Why is no real title available?)
• scientific article; zbMATH DE number 3860199 (Why is no real title available?)
• scientific article; zbMATH DE number 1140674 (Why is no real title available?)
• scientific article; zbMATH DE number 1179314 (Why is no real title available?)
• scientific article; zbMATH DE number 1980926 (Why is no real title available?)
• scientific article; zbMATH DE number 1754518 (Why is no real title available?)
• scientific article; zbMATH DE number 846270 (Why is no real title available?)
• scientific article; zbMATH DE number 1424030 (Why is no real title available?)
• Improving the variable ordering of OBDDs is NP-complete
• Learning optimal decision trees using constraint programming
• SCOTS: a tool for the synthesis of symbolic controllers
• Strategy representation by decision trees in reactive synthesis
• Strategy Representation by Decision Trees with Linear Classifiers

Cited in

(1)

• Explaining control policies through predicate decision diagrams

This page was built for publication: Explaining control policies through predicate decision diagrams

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