Liv - PDFSEARCH.IO - Document Search Engine

Liv
Results: 2633

#	Item
1	Reasoning about Resource-bounded Agents Natasha Alechina joint work with Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Nils Bulling Agent Verification Workshop Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2015-11-05 09:28:54 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
2	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 Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2015-10-27 05:19:34 Formal languages Nested word Words
3	Dissertation Reactive Synthesis: branching logic & parameteri zed systems Ayrat Khalimov Advisor: Roderick Bloem Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2018-05-18 11:56:24 Temporal logic Logic in computer science Model checkers Linear temporal logic Computation tree logic Model checking PAT Synthesis Mathematics
4	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 Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2015-11-02 10:32:02 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
5	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 Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2018-05-18 11:48:39 Markov models Concurrency Graph theory Markov chain Stochastic Petri net Computing Mathematics Formal methods
6	Model Checking Multiagent Systems MAS for Security Multiagent System-based Verification of Security and Privacy Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2015-11-05 09:29:18 Modeling and simulation Multi-agent systems Simulation Artificial intelligence Systems science Model checking Agent-based model Economic model Intelligent agent MAS
7	1 NNT : 2016SACLN058 Thèse de doctorat de l’Université Paris-Saclay Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: French - Date: 2018-05-18 11:41:55
8	Once there was a forest. It was a very beautiful forest with many different trees, plants and animals. In the forest liv Add to Reading List Source URL: scotdectrees.users38.interdns.co.uk Language: English - Date: 2014-04-22 08:55:49 Republicanism in the United Kingdom The Guardian News media
9	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 Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2018-05-21 09:45:07 Complexity classes Mathematics Theoretical computer science Discrete mathematics EXPTIME P Reachability problem Matrix Controllability Decidability Reachability Word problem
10	PDF Document Add to Reading List Source URL: cgi.csc.liv.ac.uk - Date: 2015-11-05 09:32:22

UPDATE