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

Source URL: cgi.csc.liv.ac.uk

• Complexity classes
• Mathematics
• Theoretical computer science
• Discrete mathematics
• EXPTIME
• P
• Reachability problem
• Matrix
• Controllability
• Decidability
• Reachability
• Word problem

Verifiable Autonomy Michael Fisher University of Liverpool, 11th September 2015 Formal Verification

Source URL: cgi.csc.liv.ac.uk

• Formal methods
• Theoretical computer science
• Cognitive science
• Logic in computer science
• Cybernetics
• Logic
• Artificial intelligence
• Runtime verification
• Intelligent agent
• Model checking
• Motivation
• Autonomy

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

Source URL: cgi.csc.liv.ac.uk

• Finite automata
• Model checking
• -automaton
• Bchi automaton
• Deterministic automaton
• Muller automaton
• Weak Bchi automaton

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

Source URL: cgi.csc.liv.ac.uk

• Game theory
• Non-cooperative games
• Evolutionary game theory
• Nash equilibrium
• Strategy
• Solution concept
• Evolutionarily stable strategy
• Zero-sum game
• Normal-form game
• Folk theorem
• Epsilon-equilibrium

Synthesis Sven S hewe University of Liverpool AVACS Autumn S hool, O tober 2nd , 2015

Source URL: www.avacs.org

• Temporal logic
• Logic in computer science
• Computation tree logic
• Linear temporal logic
• CTL*

Agent Verification Workshop — Panel University of Liverpool, 11th September 2015 Agent Verification Workshop — Panel Panelists:

Source URL: cgi.csc.liv.ac.uk

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

Source URL: cgi.csc.liv.ac.uk

• Music
• Applied mathematics
• Cybernetics
• Theoretical computer science
• Mathematics
• Genetic algorithms
• Model checking
• Simulated annealing
• Control theory
• Synthesizer
• Crossover
• Algorithm

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

Source URL: rc21-mexico16.colmex.mx

Bounded Satisfiablity for PCTL Nathalie Bertrand, John Fearnley and Sven Schewe Inria Rennes - University of Liverpool CSL 2012

Source URL: people.rennes.inria.fr

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

Source URL: comma2014.arg.dundee.ac.uk