Lignende værker

• 1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization
  af: Azeem, Muqsit, et al.
  Udgivet: (2024)
• Fixed Point Certificates for Reachability and Expected Rewards in MDPs
  af: Chatterjee, Krishnendu, et al.
  Udgivet: (2025)
• Stochastic Processes with Expected Stopping Time
  af: Chatterjee, Krishnendu, et al.
  Udgivet: (2021)
• Learning Algorithms for Verification of Markov Decision Processes
  af: Brázdil, Tomáš, et al.
  Udgivet: (2024)
• Decisiveness for countable MDPs and insights for NPLCSs and POMDPs
  af: Bertrand, Nathalie, et al.
  Udgivet: (2020)