and processes - PDFSEARCH.IO - Document Search Engine

and processes
Results: 13609

#	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	Solvency Markov Decision Processes with Interest Tomáš Brázdil∗1 , Taolue Chen2 , Vojtěch Forejt†3 , Petr Novotný1 , and Aistis Simaitis3 1 2 3 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 12:12:50 Mathematics Mathematical analysis Dynamic programming Markov processes Stochastic control Probability Markov decision process Sigma-algebra P versus NP problem Reinforcement learning
3	Specification Revision for Markov Decision Processes with Optimal Trade-off M. Lahijanian and M. Kwiatkowska Abstract— Optimal control policy synthesis for probabilistic systems from high-level specifications is increa Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-09-15 09:37:52 Logic 120-cell Linear temporal logic Substitution Markov decision process Symbol Theoretical computer science Mathematical logic
4	Strategy Synthesis for Markov Decision Processes and Branching-Time Logics Tom´asˇ Br´azdil⋆ and Vojtˇech Forejt⋆⋆ Faculty of Informatics, Masaryk University, Botanick´a 68a, 60200 Brno, Czech Republic. Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 06:48:09 Mathematics Linear temporal logic Temporal logic Mathematical logic Symbol Structure Model theory Distribution operator
5	Process algebra and Markov processes The nature of synchronisation Equivalence relations Case study: active badges Summary From Markov to Milner and back: Stochastic process algebras Jane Hillston School of Informatics Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-08-25 14:16:19 Theoretical computer science Markov models Formal methods Graph theory Markov chain Process calculus Semantics Stochastic process Mathematics
6	Author Proof A Specification Theory of Real-Time Processes Chris Chilton1 , Marta Kwiatkowska1 , Faron Moller2 , and Xu Wang2(B) 1 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-01-24 06:23:37 I0 Invariant XC
7	Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations ? ˇ ska1,2 , and Marta Kwiatkowska1 Alessandro Abate1 , Milan Ceˇ 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-07-08 04:40:26 Dynamic programming Equations Stochastic control Systems theory Control theory Systems science Markov processes Mathematics Markov decision process Mathematical optimization Bellman equation Reinforcement learning
8	Multi-Objective Model Checking of Markov Decision Processes K. Etessami1 , M. Kwiatkowska2, M. Y. Vardi3 , and M. Yannakakis4 1 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2007-06-27 11:49:37 Experiment Mathematical analysis Multi-objective optimization Markov decision process Probability space Event Analysis Probability and statistics Holomorphic functional calculus
9	Computing Science Group ABSTRACTION FRAMEWORK FOR MARKOV DECISION PROCESSES AND PCTL VIA GAMES Mark Kattenbelt Michael Huth Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2009-03-19 06:17:12 Mathematics Temporal logic Computation tree logic Logic in computer science Distribution Model theory Linear temporal logic Indescribable cardinal
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 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 11:02:39

UPDATE