¨ Solving Stochastic Buchi Games on Infinite Arenas with a Finite Attractor∗ Nathalie Bertrand

First Page		Document Content
Date: 2013-09-13 06:06:33		¨ Solving Stochastic Buchi Games on Infinite Arenas with a Finite Attractor∗ Nathalie Bertrand Add to Reading List Source URL: people.rennes.inria.fr Download Document from Source Website File Size: 251,17 KB Share Document on Facebook