causal abstraction 1formal verification 1Markov decision processes 1reinforcement learning 1state space reduction 1
From the 1 of 3 linked papers with an AI index.
3 papers
cs.LO2026
Implicit Computation of Filtered Prime Implicants
Edward Liem, Clemens Dubslaff
Prime implicants (PIs) are central in computer science, with applications in logic minimization, diagnosis, explainable formal methods and AI. Algorithms for the computation of PIs…
cs.AI2026
Property-driven Causal Abstractions for Markov Decision Processes
Jule Schmidt, Maximilian Weininger, Clemens Dubslaff +2
The paper proposes a property-driven causal abstraction method for factored Markov Decision Processes that groups states sharing the same causal reasons for satisfying or violating…
cs.AI2025
Explaining Control Policies through Predicate Decision Diagrams
Debraj Chakraborty, Clemens Dubslaff, Sudeep Kanav +2
Safety-critical controllers of complex systems are hard to construct manually. Automated approaches such as controller synthesis or learning provide a tempting alternative but usua…