Cover Image

Small Decision Trees for MDPs with Deductive Synthesis

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Andriushchenko, Roman, Češka, Milan, Junges, Sebastian, Macák, Filip
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Policies Grow on Trees: Model Checking Families of MDPs
by: Andriushchenko, Roman, et al.
Published: (2024)

Shields to Guarantee Probabilistic Safety in MDPs
by: Heck, Linus, et al.
Published: (2026)

Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
by: Češka, Milan, et al.
Published: (2026)

Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking
by: Heck, Linus, et al.
Published: (2025)

Decentralized Planning Using Probabilistic Hyperproperties
by: Pontiggia, Francesco, et al.
Published: (2025)

Tractable Hyperproperties for MDPs
by: Gerlach, Lina, et al.
Published: (2026)

Robust Almost-Sure Reachability in Multi-Environment MDPs
by: van der Vegt, Marck, et al.
Published: (2023)

A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs
by: Suilen, Marnix, et al.
Published: (2024)

Compositional Verification of Almost-Sure Büchi Objectives in MDPs
by: van der Vegt, Marck, et al.
Published: (2025)

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs
by: Watanabe, Kazuki, et al.
Published: (2024)

Small Test Suites for Active Automata Learning
by: Kruger, Loes, et al.
Published: (2024)

Decisiveness for countable MDPs and insights for NPLCSs and POMDPs
by: Bertrand, Nathalie, et al.
Published: (2020)

Tools at the Frontiers of Quantitative Verification
by: Andriushchenko, Roman, et al.
Published: (2024)

Relating Apartness and Branching Bisimulation Games
by: Rot, Jurriaan, et al.
Published: (2024)

Context, Judgement, Deduction
by: Coraglia, Greta, et al.
Published: (2021)

Cut-free Deductive System for Continuous Intuitionistic Logic
by: Geoffroy, Guillaume
Published: (2025)

A Unifying Approach to Product Constructions for Quantitative Temporal Inference
by: Watanabe, Kazuki, et al.
Published: (2024)

Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL
by: Foster, Simon, et al.
Published: (2024)

Error-awareness Accelerates Active Automata Learning
by: Kruger, Loes, et al.
Published: (2026)

State Matching and Multiple References in Adaptive Active Automata Learning
by: Kruger, Loes, et al.
Published: (2024)

Efficient Probabilistic Model Checking for Relational Reachability (Extended Version)
by: Gerlach, Lina, et al.
Published: (2025)

CTMCs with Imprecisely Timed Observations
by: Badings, Thom, et al.
Published: (2024)

Compositional Value Iteration with Pareto Caching
by: Watanabe, Kazuki, et al.
Published: (2024)

Learning Robust Markov Models for Safe Runtime Monitoring
by: Skurka, Antonina, et al.
Published: (2026)

Consistent Update Synthesis via Privatized Beliefs
by: Schlögl, Thomas, et al.
Published: (2024)

Subvarieties of pointed Abelian l-groups
by: Jankovec, Filip
Published: (2025)

AutoDeduct: A Tool for Automated Deductive Verification of C Code
by: Amilon, Jesper, et al.
Published: (2025)

Practical Deductive Verification of OCaml Programs (Extended Version)
by: Pereira, Mário
Published: (2024)

A Deductive Refinement Calculus for Differential-Algebraic Programs
by: Hellwig, Jonathan, et al.
Published: (2026)

Multi-Environment MDPs with Prior and Universal Semantics
by: Bordais, Benjamin, et al.
Published: (2026)

Dynamic Automated Deduction by Contradiction Separation: The Standard Extension Algorithm
by: Xu, Yang, et al.
Published: (2025)

Omega-regular Verification and Control for Distributional Specifications in MDPs
by: Akshay, S., et al.
Published: (2025)

The Value Problem for Multiple-Environment MDPs with Parity Objective
by: Chatterjee, Krishnendu, et al.
Published: (2025)

Two Cases of Deduction with Non-referring Descriptions
by: Raclavský, Jiří
Published: (2024)

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
by: Akshay, S., et al.
Published: (2024)

Reasoning Around Paradox with Grounded Deduction
by: Ford, Bryan
Published: (2024)

Learning Verified Monitors for Hidden Markov Models
by: van der Maas, Luko, et al.
Published: (2025)

Deductive Verification of Weak Memory Programs with View-based Protocols (extended version)
by: Şakar, Ömer, et al.
Published: (2026)

Deductive Systems for Logic Programs with Counting
by: Fandinno, Jorge, et al.
Published: (2025)

Adjoint Natural Deduction (Extended Version)
by: Jang, Junyoung, et al.
Published: (2024)