Login / Signup

Learning-based symbolic assume-guarantee reasoning for Markov decision process by using interval Markov process.

Redouane BouchekirMohand Cherif Boukala
Published in: Innov. Syst. Softw. Eng. (2018)
Keyphrases
  • markov process
  • reinforcement learning
  • markov decision process
  • learning algorithm
  • prior knowledge
  • higher order
  • markov decision processes