Continuous Markov decision process with imprecise probabilities: algorithms and ap...
Virtual Crowds and probabilistic planning for automatic control of traffic lights
PROVERBS -- PRobabilistic OVERconstrained Boolean Systems: reasoning tools and app...
Asynchronous dynamic programming for discrete and continuous Markov decision proce...
Efficient solutions for hybrid Markov decision processes specified through probabi...
Deductive-probabilistic reasoning: algorithms and applications