1![Reachability games and related matrix and word problems Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy by Reachability games and related matrix and word problems Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy by](https://www.pdfsearch.io/img/7282c1342907b0b2357f9d1d874fcb09.jpg) | Add to Reading ListSource URL: cgi.csc.liv.ac.ukLanguage: English - Date: 2018-05-21 09:45:07
|
---|
2![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
|
---|
3![Parity and Generalised Büchi Automata Determinisation and Complementation Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy Parity and Generalised Büchi Automata Determinisation and Complementation Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy](https://www.pdfsearch.io/img/dddc2ab921183e9754c40a86aed5a076.jpg) | Add to Reading ListSource URL: cgi.csc.liv.ac.ukLanguage: English - Date: 2015-10-21 13:25:41
|
---|
4![Equilibria in Finite Games Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy by Anshul Gupta Equilibria in Finite Games Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy by Anshul Gupta](https://www.pdfsearch.io/img/4fc9f5a5762dfcbc640e364d3c77bec1.jpg) | Add to Reading ListSource URL: cgi.csc.liv.ac.ukLanguage: English - Date: 2016-06-17 06:57:25
|
---|
5![Synthesis Sven S
hewe University of Liverpool AVACS Autumn S
hool, O
tober 2nd , 2015 Synthesis Sven S
hewe University of Liverpool AVACS Autumn S
hool, O
tober 2nd , 2015](https://www.pdfsearch.io/img/5ea881700bd81ab753194de511d72f55.jpg) | Add to Reading ListSource URL: www.avacs.orgLanguage: English - Date: 2015-10-02 08:42:50
|
---|
6![Agent Verification Workshop — Panel University of Liverpool, 11th September 2015
Agent Verification Workshop — Panel Panelists: Agent Verification Workshop — Panel University of Liverpool, 11th September 2015
Agent Verification Workshop — Panel Panelists:](https://www.pdfsearch.io/img/b51f4eeecf2884fdfea50770a1a03251.jpg) | Add to Reading ListSource URL: cgi.csc.liv.ac.ukLanguage: English - Date: 2015-11-05 09:33:23
|
---|
7![Synthesis of Protocols and Discrete Controllers Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy by Idress Mohammed Husien Synthesis of Protocols and Discrete Controllers Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy by Idress Mohammed Husien](https://www.pdfsearch.io/img/5a1813a2671ae21fa14d8998988c3af5.jpg) | Add to Reading ListSource URL: cgi.csc.liv.ac.ukLanguage: English - Date: 2018-05-18 11:31:30
|
---|
8![Counter terrorism policy and the space for student democracy in UK universities Narzanin Massoumi University of Liverpool This paper considers the role of UK counter terrorism policy in shaping the Counter terrorism policy and the space for student democracy in UK universities Narzanin Massoumi University of Liverpool This paper considers the role of UK counter terrorism policy in shaping the](https://www.pdfsearch.io/img/31c7d6eec7049cdd8c4133c44be517f4.jpg) | Add to Reading ListSource URL: rc21-mexico16.colmex.mxLanguage: English - Date: 2016-07-14 17:55:36
|
---|
9![Bounded Satisfiablity for PCTL Nathalie Bertrand, John Fearnley and Sven Schewe Inria Rennes - University of Liverpool CSL 2012 Bounded Satisfiablity for PCTL Nathalie Bertrand, John Fearnley and Sven Schewe Inria Rennes - University of Liverpool CSL 2012](https://www.pdfsearch.io/img/2bd2408e454fd728bb386793590f1db1.jpg) | Add to Reading ListSource URL: people.rennes.inria.frLanguage: English - Date: 2012-09-28 09:53:21
|
---|
10![Taking the Long View: Looking Ahead in Practical Reasoning Katie ATKINSON and Trevor BENCH-CAPON Department of Computer Science, The University of Liverpool, England Abstract. In this paper we extend an argumentation sc Taking the Long View: Looking Ahead in Practical Reasoning Katie ATKINSON and Trevor BENCH-CAPON Department of Computer Science, The University of Liverpool, England Abstract. In this paper we extend an argumentation sc](https://www.pdfsearch.io/img/30be6664ed168d67592f194467d3d05c.jpg) | Add to Reading ListSource URL: comma2014.arg.dundee.ac.ukLanguage: English - Date: 2014-08-25 11:16:17
|
---|