401![Bisimulation for demonic schedulers? Konstantinos Chatzikokolakis1 , Gethin Norman2 , and David Parker2 1 Eindhoven University of Technology 2 Bisimulation for demonic schedulers? Konstantinos Chatzikokolakis1 , Gethin Norman2 , and David Parker2 1 Eindhoven University of Technology 2](https://www.pdfsearch.io/img/a7a5dcbd2ba925211846932703608ff9.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2009-01-08 10:00:18
|
---|
402![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 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](https://www.pdfsearch.io/img/2144c00ab04d68b819d9e92e3d3a36b0.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2007-06-27 11:48:43
|
---|
403![Safe Schedulability of Bounded-Rate Multi-Mode Systems Rajeev Alur ˇ Forejt Vojtech Safe Schedulability of Bounded-Rate Multi-Mode Systems Rajeev Alur ˇ Forejt Vojtech](https://www.pdfsearch.io/img/8b4de2fe6269077bebed601f20398252.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-12-01 11:12:41
|
---|
404![](https://www.pdfsearch.io/img/b41274eb5350c0d0a66fa6c5114e5c4e.jpg) | Add to Reading ListSource URL: cgi.csc.liv.ac.uk- Date: 2015-11-05 09:32:22
|
---|
405![Big data and AI Proxy Benchmarks for Simulation Chen Zheng http://prof.ict.ac.cn ASPLOS 2018, Williamsburg, VA, USA Big data and AI Proxy Benchmarks for Simulation Chen Zheng http://prof.ict.ac.cn ASPLOS 2018, Williamsburg, VA, USA](https://www.pdfsearch.io/img/8e52bdaaf8f3a2313569622eaf179864.jpg) | Add to Reading ListSource URL: prof.ict.ac.cnLanguage: English - Date: 2018-04-01 06:23:46
|
---|
406![Defining Nonprimitively (Co)recursive Functions in Isabelle/HOL Jasmin Christian Blanchette, Aymeric Bouzy, Andreas Lochbihler, Andrei Popescu, and Dmitriy Traytel 15 August 2018 Defining Nonprimitively (Co)recursive Functions in Isabelle/HOL Jasmin Christian Blanchette, Aymeric Bouzy, Andreas Lochbihler, Andrei Popescu, and Dmitriy Traytel 15 August 2018](https://www.pdfsearch.io/img/4d4602edb8b1c42af9a13c096eb9121e.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2018-08-15 07:19:22
|
---|
407![Verifiable Autonomy Michael Fisher University of Liverpool, 11th September 2015
Formal Verification Verifiable Autonomy Michael Fisher University of Liverpool, 11th September 2015
Formal Verification](https://www.pdfsearch.io/img/e84e3c4ca505319f5b34283a8b21da7e.jpg) | Add to Reading ListSource URL: cgi.csc.liv.ac.ukLanguage: English - Date: 2015-11-05 09:32:14
|
---|
408![Social Trust: a Major Challenge for the Future of Autonomous Systems Social Trust: a Major Challenge for the Future of Autonomous Systems](https://www.pdfsearch.io/img/c1c7fbe57957f72342c87accd6922426.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2016-09-12 10:12:53
|
---|
409![On Frequency LTL in Probabilistic Systems Vojtěch Forejt1 and Jan Krčál2 1 2 Department of Computer Science, University of Oxford, UK On Frequency LTL in Probabilistic Systems Vojtěch Forejt1 and Jan Krčál2 1 2 Department of Computer Science, University of Oxford, UK](https://www.pdfsearch.io/img/847cfb8ae02de0068cb2fa5a7d523e48.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2015-10-01 09:36:06
|
---|