Stochastic - PDFSEARCH.IO - Document Search Engine

Stochastic
Results: 6946

#	Item
41	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 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2012-12-20 07:29:02 Mathematics Mathematical analysis Abstract algebra Geometric group theory Measure theory Group theory Boolean algebra Experiment Sigma-algebra Determinacy Kazhdan's property Building
42	Stochastic Games for Verification of Probabilistic Timed Automata Marta Kwiatkowska, Gethin Norman, and David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract. Probabilistic timed auto Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2010-04-16 06:37:28 Dynamic programming Markov decision process Stochastic control Symbol PP Probability and statistics Probability Theoretical computer science Models of computation
43	Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives N. Basseta , M. Kwiatkowskaa,∗, C. Wiltschea a Department of Computer Science, University of Oxford, United Kingdom Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-04-04 09:30:36 Probability theory Statistical randomness Probability Markov models Stochastic game Markov chain Determinacy Game theory Strategy Probabilistic automaton Markov decision process Stochastic process
44	On Stochastic Games with Multiple Objectives Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. We stud Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2015-10-18 19:42:36 Mathematical analysis Measure theory Mathematics Probability and statistics Determinacy Stochastic game Strategy Markov chain Stochastic process Support Mathematical optimization Statistical model
45	State-Aware Performance Analysis with eXtended Stochastic Probes Allan Clark and Stephen Gilmore University of Edinburgh, Scotland Abstract. We define a mechanism for specifying performance queries which Add to Reading List Source URL: www.dcs.ed.ac.uk Language: English - Date: 2008-10-06 04:40:04 PEPA Process calculi Process calculus Client
46	On Stochastic Games with Multiple Objectives Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. We stud Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-06-19 11:02:11 Mathematical analysis Measure theory Mathematics Probability and statistics Determinacy Stochastic game Strategy Markov chain Stochastic process Support Mathematical optimization Statistical model
47	PRISM-games 2.0: A Tool for Multi-Objective Strategy Synthesis for Stochastic Games Marta Kwiatkowska1 , David Parker2 , and Clemens Wiltsche1 1 2 Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2016-01-04 05:28:26 Microeconomics Game theory Economics Applied mathematics Non-cooperative games Mathematical optimization Nash equilibrium Stochastic game Zero-sum game Pareto efficiency Strategy
48	Formal Methods in System Design manuscript No. (will be inserted by the editor) Automatic Verification of Competitive Stochastic Systems Taolue Chen · Vojtˇ Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-10-04 14:48:40 Mathematics Temporal logic Mathematical analysis Theoretical computer science Linear temporal logic Mathematical logic Formal languages Computation tree logic Constructible universe Markov decision process Well-formed formula IP
49	UCBoost: A Boosting Approach to Tame Complexity and Optimality for Stochastic Bandits Add to Reading List Source URL: www.research.att.com Language: English - Date: 2018-10-03 19:00:09 Analysis of algorithms Machine learning Statistics Computational complexity theory Computer science Probability and statistics Multi-armed bandit Stochastic optimization Time complexity Divergence Asymptotically optimal algorithm KullbackLeibler divergence
50	Methods of Moments for Learning Stochastic Languages: Unified Presentation and Empirical Comparison Borja Balle1 BBALLE @ CS . MCGILL . CA William L Hamilton1 Add to Reading List Source URL: stanford.edu Language: English - Date: 2017-06-22 06:35:08 Algebra Linear algebra Mathematics Matrices Functional analysis Matrix theory Numerical linear algebra Singular value decomposition Hankel matrix Principal component analysis Permutation Matrix