Reasoning about Resource-bounded Agents Natasha Alechina joint work with Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Nils Bulling Agent Verification Workshop

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

• Artificial intelligence
• Multi-agent systems
• Modeling and simulation
• Systems science
• Agent-based model
• Artificial life
• Complex systems theory
• Model checking
• Temporal logic
• Intelligent agent
• Sociology

A Study of Pushdown Games Von der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH Aachen University zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften genehmigte Dissertat

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

• Formal languages
• Nested word
• Words

Dissertation Reactive Synthesis: branching logic & parameteri zed systems Ayrat Khalimov Advisor: Roderick Bloem

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

• Temporal logic
• Logic in computer science
• Model checkers
• Linear temporal logic
• Computation tree logic
• Model checking
• PAT
• Synthesis
• Mathematics

L IVERPOOL U NIVERSITY M ASTER OF R ESEARCH D ECISION M AKING U NDER R ISK AND U NCERTAINTY Robust Probabilistic Risk/Safety Analysis

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

• Probability and statistics
• Numerical analysis
• Probability theory
• Analysis
• Probability bounds analysis
• Mathematical modeling
• Operations research
• Uncertainty quantification
• Probability box
• DempsterShafer theory
• Uncertainty
• Monte Carlo method

Finite Horizon Analysis of Markov Automata Dissertation zur Erlangung des akademischen Grades des Doktors der Ingenieurwissenschaften (Dr.-Ing.) der Fakultät für Mathematik und Informatik der Universität des Saarlande

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

• Markov models
• Concurrency
• Graph theory
• Markov chain
• Stochastic
• Petri net
• Computing
• Mathematics
• Formal methods

Model Checking Multiagent Systems MAS for Security Multiagent System-based Verification of Security and Privacy

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

• Modeling and simulation
• Multi-agent systems
• Simulation
• Artificial intelligence
• Systems science
• Model checking
• Agent-based model
• Economic model
• Intelligent agent
• MAS

1 NNT : 2016SACLN058 Thèse de doctorat de l’Université Paris-Saclay

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

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

PDF Document

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

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