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

First Page		Document Content
Date: 2015-11-05 09:32:14 Formal methods Theoretical computer science Cognitive science Logic in computer science Cybernetics Logic Artificial intelligence Runtime verification Intelligent agent Model checking Motivation Autonomy		Verifiable Autonomy Michael Fisher University of Liverpool, 11th September 2015 Formal Verification Add to Reading List Source URL: cgi.csc.liv.ac.uk Download Document from Source Website File Size: 2,24 MB Share Document on Facebook

	An intelligent agent for determining home occupancy using power monitors and light sensors Stephen Makonin and Fred Popowich Simon Fraser University School of Computing Science DocID: 1vcU7 - View Document
	Agent based data collecting in forest fire monitoring system Ljiljana Bodrozic, Darko Stipanicev, Department for Modeling and Intelligent Systems FESB - Faculty of Electrical Engineering, Machine Engineering and Naval Ar DocID: 1uH7s - View Document
	Intelligent Agent Reg. No. 4,427,403 Registered Nov. 5, 2013 Int. Cl.: 42 VANTAGE LEARNING (USA), LLC (DELAWARE LIMITED LIABILITY COMPANY) DocID: 1uaro - View Document
	2015 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology Towards Solving Comprehensibility-Relevance Trade-off in Information Retrieval Kouichi Akamatsu DocID: 1tU5x - View Document
	2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology Local Search Methods for Finding a Nash Equilibrium in Two-Player Games Sofia Ceppi, Nicola Gatti, Giorgio Patrini, Marco R DocID: 1tNWM - View Document