Markov - PDFSEARCH.IO - Document Search Engine

Markov
Results: 4982

#	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	Software Bug Localization with Markov Logic Sai Zhang Congle Zhang Department of Computer Science & Engineering Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Logic Mathematical logic Non-classical logic Markov logic network Software testing Probabilistic logic Software bug Code coverage Debugging Inference First-order logic Buggy
6	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
7	Finite Horizon Analysis of Markov Automata Dissertation zur Erlangung des akademischen Grades des Doktors der Ingenieurwissenschaften (Dr.-Ing.) der Fakultät für Mathematik und Informatik der Universität des Saarlande Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2018-05-18 11:48:39 Markov models Concurrency Graph theory Markov chain Stochastic Petri net Computing Mathematics Formal methods
8	Symbolic Magnifying Lens Abstraction in Markov Decision Processes Pritam Roy1 David Parker2 Gethin Norman2 Luca de Alfaro1 Computer Engineering Dept, UC Santa Cruz, Santa Cruz, CA, USA 1 Oxford University Computing Labor Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2008-07-01 03:47:28 Mathematics Dynamic programming Markov decision process Stochastic control Probability Mathematical analysis Reachability
9	Software Bug Localization with Markov Logic Sai Zhang, Congle Zhang University of Washington Presented by Todd Schiller Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:35 Software engineering Software Code coverage Software testing ARG2 Xdebug Relational operator Tarantula Computer programming
10	Form Methods Syst Des: 246–280 DOIs10703A Game-based Abstraction-Refinement Framework for Markov Decision Processes Mark Kattenbelt · Marta Kwiatkowska · Gethin Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2011-12-04 14:59:08 Markov models Mathematics Markov processes Probability Dynamic programming Stochastic control Graph theory Markov decision process Stochastic game Markov chain Stochastic matrix Shortest path problem