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

First Page		Document Content
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		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 Download Document from Source Website File Size: 417,81 KB Share Document on Facebook

	MITSUBISHI ELECTRIC RESEARCH LABORATORIES http://www.merl.com Distributed Extremum Seeking in Multi-Agent Systems with Arbitrary Switching Graphs Poveda, J.; Benosman, M.; Teel, A. DocID: 1v6Ti - View Document
	COMPOSITIONAL REACTIVE SYNTHESIS FOR MULTI-AGENT SYSTEMS Salar Moarref A DISSERTATION in Computer and Information Science DocID: 1v3Sn - View Document
	INTERNATIONAL JOURNAL OF CONTROL,  https://doi.org/./.. On privacy vs. cooperation in multi-agent systems Vaibhav Katewaa , Fabio Pas DocID: 1uAmo - View Document
	Simulation of electromagnetic waves propagation in free space using Netlogo multi-agent approach Hamid Bezzout* Laboratory of Informatics, Systems and Optimization (ISO) Department of Computer Science Faculty of sciences DocID: 1uyZy - View Document
	Petri Net-Based Cooperation In Multi-Agent Systems Y.T. Kotb, S.S. Beauchemin, and J.L. Barron {ykotb, beau, barron} @csd.uwo.ca Department of Computer Science The University of Western Ontario DocID: 1uqvu - View Document