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![Poster: Browser’s ”search form” issues and countermeasures Yuji Suga Internet Initiative Japan Inc., Iidabashi Grand Bloom, Fujimi, Chiyoda-ku, , Japan Abstract—From 2014, we are con Poster: Browser’s ”search form” issues and countermeasures Yuji Suga Internet Initiative Japan Inc., Iidabashi Grand Bloom, Fujimi, Chiyoda-ku, , Japan Abstract—From 2014, we are con](https://www.pdfsearch.io/img/44d88fb638c8dac286b2fa7a1f8e652d.jpg) | Add to Reading ListSource URL: www.ieee-security.orgLanguage: English - Date: 2017-04-15 11:54:40
|
---|
3![SoK: Making Sense of Censorship Resistance Systems That CRS SoK paper at PETS Sheharbano Khattak1, Tariq Elahi2, Laurent Simon1, Colleen M. Swanson3, Steven J. Murdoch4, Ian Goldberg5 1: University of Cambridge, 2: KU Le SoK: Making Sense of Censorship Resistance Systems That CRS SoK paper at PETS Sheharbano Khattak1, Tariq Elahi2, Laurent Simon1, Colleen M. Swanson3, Steven J. Murdoch4, Ian Goldberg5 1: University of Cambridge, 2: KU Le](https://www.pdfsearch.io/img/a61c5040beb988c10d05307b17c47682.jpg) | Add to Reading ListSource URL: sheharbano.comLanguage: English - Date: 2017-02-16 07:58:33
|
---|
4![Curriculum Vitae Jean-Baptiste Teyssier Department of Mathematics. KU Leuven. Celestijnenlaan 200B, Leuven. Belgium E-mail: Page professionnelle: http://jbteyssier.com Curriculum Vitae Jean-Baptiste Teyssier Department of Mathematics. KU Leuven. Celestijnenlaan 200B, Leuven. Belgium E-mail: Page professionnelle: http://jbteyssier.com](https://www.pdfsearch.io/img/a7b8f68980e534de20e6ae714f3aaf80.jpg) | Add to Reading ListSource URL: jbteyssier.comLanguage: French - Date: 2018-01-24 05:16:22
|
---|
5![September 11, 2018 SBI Holdings, Inc. (TOKYO: 8473) Notice Regarding an Investment in Sovcombank with the Russia-China Investment Fund SBI Holdings, Inc. (Head office: Minato-ku, Tokyo; Representative Director, President September 11, 2018 SBI Holdings, Inc. (TOKYO: 8473) Notice Regarding an Investment in Sovcombank with the Russia-China Investment Fund SBI Holdings, Inc. (Head office: Minato-ku, Tokyo; Representative Director, President](https://www.pdfsearch.io/img/754bc903825119e534bc9e43cd374dbc.jpg) | Add to Reading ListSource URL: www.sbigroup.co.jpLanguage: English - Date: 2018-09-10 21:00:10
|
---|
6![arXiv:1804.06188v2 [cs.LG] 4 JulVC-Dimension Based Generalization Bounds for Relational Learning Ondˇrej Kuˇzelka∗ arXiv:1804.06188v2 [cs.LG] 4 JulVC-Dimension Based Generalization Bounds for Relational Learning Ondˇrej Kuˇzelka∗](https://www.pdfsearch.io/img/f30829c2264a302a3eebd6be5db8cca6.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2018-07-04 21:40:26
|
---|
7![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
|
---|
8![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
|
---|
9![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
|
---|
10![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
|
---|