Automatic Verification of Real-Time Systems with Rich Data Ernst-Rudiger ¨ Olderog

First Page		Document Content
Date: 2015-10-01 02:29:40 Avionics Aircraft collision avoidance systems Warning systems Traffic collision avoidance system European Train Control System Carrier-sense multiple access with collision avoidance Communicating sequential processes Real-time strategy Transport Safety Technology		Automatic Verification of Real-Time Systems with Rich Data Ernst-Rudiger ¨ Olderog Add to Reading List Source URL: www.avacs.org Download Document from Source Website File Size: 372,75 KB Share Document on Facebook

	Opponent Behaviour Recognition for Real-Time Strategy Games Froduald Kabanza and Philipe Bellefeuille and Francis Bisson Universit´e de Sherbrooke Sherbrooke, QC J1K 2R1, Canada {kabanza, philipe.bellefeuille,francis.bi DocID: 1tWsB - View Document
	A Survey of Real-Time Strategy Game AI Research and Competition in StarCraft Santiago Onta˜ non, Gabriel Synnaeve, Alberto Uriarte, Florian Richoux, David Churchill, Mike Preuss DocID: 1tnhL - View Document
	Limitations of Choice-Based Interactive Evolution for Game Level Design Antonios Liapis, Georgios N. Yannakakis, Julian Togelius Center for Computer Games Research Rued Langaards Vej 7 Copenhagen, Denmark DocID: 1rcdh - View Document
	The Mansfield Library, the premier research library in Montana, facilitates the intellectual and creative pursuits of all members of the University of Montana community and supports their information, education and cultu DocID: 1qA1q - View Document
	Finding Robust Strategies to Defeat Specific Opponents Using Case-Injected Coevolution Christopher Ballinger and Sushil Louis University of Nevada, Reno Reno, Nevada 89503 {caballinger, sushil}@cse.unr.edu DocID: 1qpRP - View Document