This viewgraph presentation reviews work on model checking, and specifically the SPIN model checker. The goal of this work is to retire a significant class of risks associated with the use of Artificial Intelligence (Al) Planners on Missions. This effort must provide tangible testing results to a mission using Al technology. It is hoped that the work should be possible to leverage the technique and tools throughout NASA


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Smith, Margaret (Autor:in) / Cucullu, Gordon (Autor:in) / Holzmann, Gerard (Autor:in) / Smith, Benjamin (Autor:in)

    Kongress:

    4th Annual NASA OFfice of Safety and Mission Assurance Software Assurance Symposium ; 2004 ; Morgantown, WV, United States


    Erscheinungsdatum :

    2004-07-20


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Keine Angabe


    Sprache :

    Englisch




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

    Smith, M. H. / Cucullu, G. C. / Smith, B. D. et al. | British Library Conference Proceedings | 2005


    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


    The Best Laid Plans of Mice and Men

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