243 followers
Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. - Tomás Brázdil, Krishnendu… http://t.co/3fzmQkjN0X
Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. - Tomás Brázdil, Krishnendu… http://t.co/3fzmQkjN0X