Bro - PDFSEARCH.IO - Document Search Engine

Bro
Results: 1994

#	Item
1	Reachability in Recursive Markov Decision Processes? Tom´ aˇs Br´ azdil, V´ aclav Broˇzek, Vojtˇech Forejt, and Anton´ın Kuˇcera Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 06:17:29 Mathematics Mathematical analysis Mathematical logic Boolean algebra Experiment Measure theory Sigma-algebra Symbol Lie algebras Moschovakis coding lemma Generalised Whitehead product
2	Stochastic Games with Branching-Time Winning Objectives Tom´asˇ Br´azdil V´aclav Broˇzek Vojtˇech Forejt Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 06:00:18
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 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 12:09:39 Symbol Linear temporal logic Constructible universe Markov chain Probabilistic logic Logic Mathematics Epistemology
4	Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes Tom´asˇ Br´azdil V´aclav Broˇzek Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2012-12-07 04:04:14
5	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´ Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 06:33:37 Mathematical analysis Mathematics Measure theory Boolean algebra Experiment Sigma-algebra Symbol Differential topology Lifting theory Jet bundle
6	INFINITYBranching-Time Model-Checking of Probabilistic Pushdown Automata Tom´asˇ Br´azdil1 V´aclav Broˇzek2 Vojtˇech Forejt3 Faculty of Informatics Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 12:53:36 Temporal logic Mathematical logic Theoretical computer science Finite model theory Linear temporal logic Symbol FO Constructible universe IP Computation tree logic Model theory Mathematics
7	Learning-Based Testing the Sliding Window Behavior of TCP Implementations Paul Fiter˘au-Bro¸stean?1 and Falk Howar2 1 Institute for Computing and Information Sciences, Radboud University, Nijmegen, Add to Reading List Source URL: www.falkhowar.de Language: English - Date: 2018-09-30 08:43:02 Transmission Control Protocol Constructible universe Algorithm Sliding window protocol Mathematics Dimension reduction Computing Philosophy of mathematics
8	PDF Document Add to Reading List Source URL: www.bro.org - Date: 2018-06-21 17:27:28
9	PDF Document Add to Reading List Source URL: www.bro.org - Date: 2018-06-21 17:27:28