A Lazy Abstraction Algorithm for Markov Decision Processes: Theory and Initial Evaluation

Documenti analoghi

• Risk-aware Markov Decision Processes Using Cumulative Prospect Theory
  di: Brihaye, Thomas, et al.
  Pubblicazione: (2025)
• Learning Algorithms for Verification of Markov Decision Processes
  di: Brázdil, Tomáš, et al.
  Pubblicazione: (2024)
• Formal Quality Measures for Predictors in Markov Decision Processes
  di: Baier, Christel, et al.
  Pubblicazione: (2024)
• On the Complexity of Robust Markov Decision Processes and Bisimulation Metrics
  di: Suilen, Marnix, et al.
  Pubblicazione: (2026)
• Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes
  di: Baier, Christel, et al.
  Pubblicazione: (2024)