Ox - PDFSEARCH.IO - Document Search Engine

Ox
Results: 11391

#	Item
101	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
102	ProbReach: Probabilistic Bounded Reachability for Uncertain Hybrid Systems Fedor Shmarov, Paolo Zuliani School of Computing Science, Newcastle University, UK Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2017-07-25 18:51:20 Complexity classes Differential equations Systems science Control theory Hybrid system Systems theory NL Reachability P Mathematics
103	Bisimulation for demonic schedulers? Konstantinos Chatzikokolakis1 , Gethin Norman2 , and David Parker2 1 Eindhoven University of Technology 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2009-01-08 10:00:18 Theoretical computer science Formal methods Logic in computer science Bisimulation Applied mathematics Mathematics Scheduling Transition system -calculus
104	Probabilistic Model Checking of Contention Resolution in the IEEELow-Rate Wireless Personal Area Network Protocol Matthias Fruth School of Computer Science, University of Birmingham, Edgbaston, Birmingham, B15 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2007-06-27 11:48:43 Media access control IEEE 802 Computing Data transmission Ethernet Wireless networking IEEE 802.15.4 Carrier-sense multiple access with collision avoidance Carrier-sense multiple access Medium access control Zigbee Exponential backoff
105	Safe Schedulability of Bounded-Rate Multi-Mode Systems Rajeev Alur ˇ Forejt Vojtech Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 11:12:41
106	Social Trust: a Major Challenge for the Future of Autonomous Systems Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-09-12 10:12:53 Reputation management Human behavior Psychology Emerging technologies Robotics Cognitive science Interpersonal relationships Social constructionism Trust Cristiano Castelfranchi Situation awareness Belief
107	On Frequency LTL in Probabilistic Systems Vojtěch Forejt1 and Jan Krčál2 1 2 Department of Computer Science, University of Oxford, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2015-10-01 09:36:06 Temporal logic Theoretical computer science Model checking Finite automata Linear temporal logic Mathematical logic Formal languages Mathematics Bchi automaton Omega language Markov decision process Computation tree logic
108	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
109	Designing Robust Software Systems through Parametric Markov Chain Synthesis ˇ ska† , Simos Gerasimou∗ , Marta Kwiatkowska‡ and Nicola Paoletti§ Radu Calinescu∗ , Milan Ceˇ ∗ Department of Computer Science, U Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-03-10 09:53:57