Model Checking Autonomous Planners: Even the Best Laid Plans Must be Verified

Sie sind hier: Homepage > Suche

Model Checking Autonomous Planners: Even the Best Laid Plans Must be Verified

Model Checking Autonomous Planners: Even the Best Laid Plans Must be Verified

Smith, M. H. / Cucullu, G. C. / Smith, B. D. / Holzmann, G. J. / IEEE

Zugriff

Zugriff über TIB

Verfügbarkeit in meiner Bibliothek prüfen

Bestellung bei Subito €

Exportieren, teilen und zitieren

Dokumentinformationen

Titel :

Model Checking Autonomous Planners: Even the Best Laid Plans Must be Verified

Beteiligte:

Smith, M. H. (Autor:in) / Cucullu, G. C. (Autor:in) / Smith, B. D. (Autor:in) / Holzmann, G. J. (Autor:in) / IEEE

Kongress:

IEEE aerospace conference ; 2005 ; Big Sky, MT

Erschienen in:

IEEE aerospace conference ; 3054-3064

IEEE AEROSPACE CONFERENCE PROCEEDINGS ; 1/4

Erscheinungsdatum :

2005-01-01

Format / Umfang :

11 pages

Anmerkungen:

IEEE cat no 05TH8788

ISBN :

ISSN :

Medientyp :

Aufsatz (Konferenz)

Format :

Print

Sprache :

Englisch

Schlagwörter :

IEEE aerospace , IEEE , Aerospace

© Metadata Copyright the British Library Board and other contributors. All rights reserved.

Ähnliche Titel

Model Checking Artificial Intelligence Based Planners: Even the Best Laid Plans Must Be Verified

Smith, Margaret H. / Holzmann, Gerard J. / Cucullu, Gordon C., III et al. | NTRS | 2005

Verifying AI Plan Models: Even the Best Laid Plans Need to be Verified

Smith, Margaret / Cucullu, Gordon / Holzmann, Gerard et al. | NTRS | 2004

The Best Laid Plans of Mice and Men

Roess, Roger P. / Sansone, Gene | Springer Verlag | 2013

Performance Metric for Plans, Projects, and Planners

Strader, Brad | Online Contents | 2012

When Best Laid Plans Go Astray - Small things cause big problems

Online Contents | 2003

Zugriff

Zugriff über TIB

Verfügbarkeit in meiner Bibliothek prüfen

Bestellung bei Subito €

Seitennavigation

Dokumentinformationen

Ähnliche Titel

Exportieren, teilen und zitieren