1![Reachability in Recursive Markov Decision Processes? Tom´ aˇs Br´ azdil, V´ aclav Broˇzek, Vojtˇech Forejt, and Anton´ın Kuˇcera Reachability in Recursive Markov Decision Processes? Tom´ aˇs Br´ azdil, V´ aclav Broˇzek, Vojtˇech Forejt, and Anton´ın Kuˇcera](https://www.pdfsearch.io/img/628ead49b5c87099b9bb6b2b6b0d68c1.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-12-01 06:17:29
|
---|
2![MultiGain: A controller synthesis tool for MDPs with multiple mean-payoff objectives Tom´ aˇs Br´ azdil1, Krishnendu Chatterjee2 , Vojtˇech Forejt3 , and Anton´ın Kuˇcera1 1 MultiGain: A controller synthesis tool for MDPs with multiple mean-payoff objectives Tom´ aˇs Br´ azdil1, Krishnendu Chatterjee2 , Vojtˇech Forejt3 , and Anton´ın Kuˇcera1 1](https://www.pdfsearch.io/img/1c9ddaea48a5ce227403d85774c19c48.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2015-02-02 16:39:01
|
---|
3![Branching-Time Model-Checking of Probabilistic Pushdown Automata Tom´asˇ Br´azdila,1 , V´aclav Broˇzeka , Vojtˇech Forejtb,a , Anton´ın Kuˇceraa,1 a b Branching-Time Model-Checking of Probabilistic Pushdown Automata Tom´asˇ Br´azdila,1 , V´aclav Broˇzeka , Vojtˇech Forejtb,a , Anton´ın Kuˇceraa,1 a b](https://www.pdfsearch.io/img/c345167cb998e403383fe6969e62f941.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-12-01 12:09:39
|
---|
4![Continuous-Time Stochastic Games with Time-Bounded ReachabilityI Tom´ aˇs Br´ azdil, Vojtˇech Forejt1 , Jan Krˇc´al, Jan Kˇret´ınsk´ y2,∗, Anton´ın Kuˇcera Continuous-Time Stochastic Games with Time-Bounded ReachabilityI Tom´ aˇs Br´ azdil, Vojtˇech Forejt1 , Jan Krˇc´al, Jan Kˇret´ınsk´ y2,∗, Anton´ın Kuˇcera](https://www.pdfsearch.io/img/031c6d65dca5c2aaed3a56cf289839f4.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2012-12-20 07:29:02
|
---|
5![Trading Performance for Stability in Markov Decision Processes Tom´asˇ Br´azdil∗ , Krishnendu Chatterjee† , Vojtˇech Forejt‡∗ , and Anton´ın Kuˇcera∗ ∗ Faculty of Informatics, Masaryk University ({xbr Trading Performance for Stability in Markov Decision Processes Tom´asˇ Br´azdil∗ , Krishnendu Chatterjee† , Vojtˇech Forejt‡∗ , and Anton´ın Kuˇcera∗ ∗ Faculty of Informatics, Masaryk University ({xbr](https://www.pdfsearch.io/img/0aebf86ff6f8ab7d084a910fe76f70b8.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-12-01 11:02:39
|
---|
6![Reachability in Recursive Markov Decision Processes ? Tom´aˇs Br´azdil, V´aclav Broˇzek, Vojtˇech Forejt, Anton´ın Kuˇcera Faculty of Informatics, Masaryk University, Botanick´ Reachability in Recursive Markov Decision Processes ? Tom´aˇs Br´azdil, V´aclav Broˇzek, Vojtˇech Forejt, Anton´ın Kuˇcera Faculty of Informatics, Masaryk University, Botanick´](https://www.pdfsearch.io/img/cf9b89fc0079c800505a2389caf0fffc.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-12-01 06:33:37
|
---|
7![Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives? Tom´asˇ Br´azdil, Vojtˇech Forejt, and Anton´ın Kuˇcera Faculty of Informatics, Masaryk University, B Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives? Tom´asˇ Br´azdil, Vojtˇech Forejt, and Anton´ın Kuˇcera Faculty of Informatics, Masaryk University, B](https://www.pdfsearch.io/img/9541ef10620d78537f486da1b75fcc15.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-12-01 09:40:50
|
---|
8![Byteball: A Decentralized System for Storage and Transfer of Value Anton Churyumov Byteball: A Decentralized System for Storage and Transfer of Value Anton Churyumov](https://www.pdfsearch.io/img/3c6e8924ddf1a06c69247aabf49fee81.jpg) | Add to Reading ListSource URL: byteball.orgLanguage: English - Date: 2016-09-05 08:01:03
|
---|
9![TrineDay Fall Book Announcements Book Release Information Title: Fleshing Out Skull & Bones — Investigations into America’s Most Powerful Secret Society Authors: Kris Millegan, Antony Sutton, Toby Rogers, Anton Chai TrineDay Fall Book Announcements Book Release Information Title: Fleshing Out Skull & Bones — Investigations into America’s Most Powerful Secret Society Authors: Kris Millegan, Antony Sutton, Toby Rogers, Anton Chai](https://www.pdfsearch.io/img/d25ef2cfb21600cf52de76475a810786.jpg) | Add to Reading ListSource URL: www.fleshingoutskullandbones.comLanguage: English - Date: 2011-10-10 17:17:34
|
---|
10![Region of interest analysis using an SPM toolbox Matthew Brett , Jean-Luc Anton , Romain Valabregue , Jean-Baptiste Poline MRC Cognition and Brain Sciences Unit, Cambridge, UK Centre IRMf, CHU La Timone, Marseille, Franc Region of interest analysis using an SPM toolbox Matthew Brett , Jean-Luc Anton , Romain Valabregue , Jean-Baptiste Poline MRC Cognition and Brain Sciences Unit, Cambridge, UK Centre IRMf, CHU La Timone, Marseille, Franc](https://www.pdfsearch.io/img/6f32e2b4c2e9ff9910d3b5e5a70dc357.jpg) | Add to Reading ListSource URL: matthew.dynevor.orgLanguage: English - Date: 2018-05-11 06:08:06
|
---|