Ox - PDFSEARCH.IO - Document Search Engine

Ox
Results: 11391

#	Item
61	Chapter 8 T Verification of Real-time Probabilistic Systems Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2010-04-01 04:16:38 Finite automata Probability theory Probability Timed automaton Markov processes Probabilistic automaton Markov decision process Model checking Automata theory Probabilistic logic
62	TRINITY COLLEGE Policy and Procedure on Harassment Introduction 1. Trinity College does not tolerate any form of harassment or victimisation and expects all members of the College community, its visitors and contractors Add to Reading List Source URL: www.trinity.ox.ac.uk Language: English - Date: 2016-01-22 12:24:58 Human behavior Human sexuality Behavior Harassment Sex crimes Sexual ethics Abuse Rape Sexual harassment Harassment in the United Kingdom Stalking Sexual assault
63	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 Model checking probabilistic and stochastic extensions of the π -calculus Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2008-08-28 05:24:01
64	What to do in the event of an attack by an armed person or persons x The purpose of this guidance is to alert and not to alarm – it is not being provided in response to any specific information. Add to Reading List Source URL: www.trinity.ox.ac.uk Language: English - Date: 2016-01-22 12:25:12 999 Linguistics Latin grammar Syntax Grammar Language
65	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 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2015-02-02 16:39:01 Markov processes Probability theory Probability Dynamic programming Markov decision process Stochastic control Reinforcement learning Memorylessness
66	Concolic Testing for Deep Neural Networks Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2018-08-02 04:45:47
67	PRISM 4.0: Verification of Probabilistic Real-time Systems Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2011-06-07 19:21:25 Model checkers Application software PRISM model checker Systems science Mathematics Model checking Uppaal Model Checker Probabilistic automaton PAT Hybrid system Markov chain
68	Trinity College Fundraising Policy Trinity is a registered charity, charity number, which seeks to raise funds for annual expenditure, the endowment and capital projects. This document is not legally binding, but Add to Reading List Source URL: www.trinity.ox.ac.uk Language: English - Date: 2017-10-18 08:57:38 Philanthropy Fundraising Economy Telethon Donation Gift Aid
69	PERMISSIVE CONTROLLER SYNTHESIS FOR PROBABILISTIC SYSTEMS ¨ ˇ KLAUS DRAGER, VOJTECH Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2015-04-22 07:56:09 Linear temporal logic Temporal logic Dynamical system Theoretical philosophy Reality
70	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

UPDATE