@InProceedings{IvoFerrSantAmbr:2012:ApVaPl,
               author = "Ivo, Andr{\'e} A. de Souza and Ferreira, Mauricio G. Vieira and 
                         Sant'Anna, Nilson and Ambrosio, Ana Maria",
          affiliation = "{} and {Instituto Nacional de Pesquisas Espaciais (INPE)} and 
                         {Instituto Nacional de Pesquisas Espaciais (INPE)} and {Instituto 
                         Nacional de Pesquisas Espaciais (INPE)}",
                title = "An approach to validation plans for satellite control generated 
                         with planners systems based autonomous artificial intelligence",
            booktitle = "Proceedings...",
                 year = "2012",
         organization = "International Conference on Space Operations, ( SpaceOps), 12.",
             abstract = "The scheduling or autonomous planning is one of the areas of 
                         artificial intelligence (IA), which develops the process to define 
                         the sequence of actions to achieve the objectives established 
                         through computational methods. Through an initiative of the ESA 
                         (European Space Agency) emerges the SPASS (Software Product 
                         Assurance for Autonomy Spacecraft on-board), a project that 
                         resulted in a job that recommends extensive testing and use of 
                         simulation techniques, with application of two software 
                         components, the plausibility checker and bag security, proposed by 
                         (Blanquart, 2004). The purpose of this paper is to show a 
                         theoretical approach to implemente a plausibility checker and 
                         safety bag as described by (Blanquart, 2004).",
  conference-location = "Stockholm,",
      conference-year = "11-15 June 2012",
           targetfile = "id1293853-Paper-003Ivo.pdf",
        urlaccessdate = "21 maio 2024"
}