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![](/pdf-icon.png) | Add to Reading ListSource URL: www.liverpool.ac.uk- Date: 2016-12-08 06:27:44
|
---|
9![](/pdf-icon.png) | Add to Reading ListSource URL: liverpool.gov.uk- Date: 2018-04-17 11:32:25
|
---|
10![](/pdf-icon.png) | Add to Reading ListSource URL: www.liverpool.ac.uk- Date: 2015-11-30 11:07:22
|
---|