Sign in

Continuous simulation abstraction refinement for Markov decision processes.

Xu GuoZongyuan Yang
Published in: ICSAI (2017)
Keyphrases