Dynamic abstraction for interleaved task planning and execution

\li " | 2008/4/8 | 9:36 | page i | #1 Linkoping Studies in S ien e and Te hnology Thesis No. 1363 Dynamic Abstraction...
Author:  by Per Nyblom.

4 downloads 576 Views 934KB Size Report

This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!

Report copyright / DMCA form

Recommend Documents

AU2244_C000.fm Page i Thursday, November 16, 2006 2:22 PM CRISIS MANAGEMENT PLANNING AND EXECUTION AU2244_C000.fm P...

EXECUTION Geoffrey Abbott joined the RAF as an aero-engine fitter before World War Two. After thirty-five years’ servic...

Monographs in Computer Science Editors David Gries Fred B. Schneider Annabelle McIver Carroll Morgan Abstraction, R...

Monographs in Computer Science Editors David Gries Fred B. Schneider Annabelle McIver Carroll Morgan Abstraction, Re...

Benjamin Weiß Deductive Verification of Object-Oriented Software Dynamic Frames, Dynamic Logic and Predicate Abstractio...