Date: 2015-05-26 14:10:44Reactive planning Robot Motion planning Humanoid robot Model checking Linear temporal logic Planning STRIPS NuSMV Automated planning and scheduling Artificial intelligence Planning Domain Definition Language | | Action Planning & General Game Playing for Robots Stefan Edelkamp, Institute for Artificial Intelligence, University of Bremen One of the oldest dreams in the research area of Artificial Intelligence is the design of autDocument is deleted from original location. Use the Download Button below to download from the Web Archive.Download Document from Web Archive File Size: 85,46 KB |