Property-driven Causal Abstractions for Markov Decision Processes | Digital Library | PAMCET | PAMCET