@article{Oddi:IEEE:07,
      AUTHOR = {Oddi, A. AND Policella, N.},
      TITLE = {Improving Robustness of Spacecraft Downlink Schedules},
      JOURNAL = {In IEEE Transactions on Systems, Man, and Cybernetics -- Part C: Applications and Reviews},
	  VOLUME =  {37},
	  NUMBER = {5},
      YEAR = {2007},
	  PAGES = {887--896},	  
      ANNOTE = {} }	  



@article{Pencole:ai:05,
      AUTHOR = {Pencol\'{e}, Y. AND Cordier, M.O.},
      TITLE = {A formal framework for the decentralized diagnosis of large scale discrete event systems and its application to telecommunication networks},
      JOURNAL = {Artificial Intelligence},
	  VOLUME =  164,
      YEAR = 2005,
	  PAGES = {121--170},	  
      ANNOTE = {} }	  



@inproceedings{Verma:2005,
author = {Verma,  V. AND Estlin, T. AND J\`onsson, A. AND Pasareanu, C. AND Simmons, R. AND Tso, K.},
title = {PLAN EXECUTION INTERCHANGE LANGUAGE (PLEXIL) FOR EXECUTABLE PLANS AND COMMAND SEQUENCES},
booktitle = {International Symposium on Artificial Intelligence, Robotics and Automation in Space (iSAIRAS), 2005 },
year = {2005}
}


@inproceedings{Verma:2006,
author = {Verma,  V. AND J\`onsson, A. AND Pasareanu, C. AND Iatauro, M.},
title = {Universal Executive and PLEXIL: Engine and Language for Robust Spacecraft Control and Operations},
booktitle = {American Institute of Aeronautics and Astronautics Space Conference},
year = {2006}
}


@article{Nardi:RAS:08,
  author = {Calisi, D. AND Iocchi, L. AND  Nardi, D.  AND  Scalzo, C.M.  AND Ziparo, V. A.},
  title = {Context-based design of robotic systems},
  journal = {Robotics and Autonomous Systems (RAS) - Special Issue on Semantic Knowledge in Robotics}, 
  volume = {56},
  number = {11},
  pages = {992--1003},
  year = {2008}
  }   


@article{Ghallab:JRR:08,
  author = {Alami, R. AND Chatila,R. AND Fleury, S. AND Ghallab, M. AND  Ingrand, F.},
  title = {An Architecture for Autonomy},
  journal = {International Journal of Robotics Research}, 
  volume = {17},
  number = {4},
  pages = {315--337},
  year = {1998}
  }   
  
  
  @InProceedings{Torasso:AIIA:07,
    title =	"Plan Diagnosis and Agent Diagnosis in Multi-agent
  		 Systems",
    author =	"Micalizio, R. AND Torasso, P.",
    year = 	"2007",
    volume =	"4733",
    ISBN = 	"978-3-540-74781-9",
    pages =	"434--446",
    series =	"LNCS",
    URL =  	"http://dx.doi.org/10.1007/978-3-540-74782-6\_38",
}       


@inproceedings {Micalizio:IJCAI:09,
      AUTHOR = {Micalizio, R.},
      TITLE = {A Distributed Control Loop for Autonomous Recovery in a Multi-Agent Plan},
      BOOKTITLE = {Proc. IJCAI'09},
      YEAR = 2009,
      PAGES = {1760-1765}
      }



@inproceedings {Nesnas:07,
      AUTHOR = {Nesnas, I.A. },
      TITLE = {CLARAty: A Collaborative Software for Advancing Robotic Technologies},
      BOOKTITLE = {Proc. of NASA Science and Technology Conference},
      YEAR = 2007,
      PAGES = {}
      }

@inproceedings {Bozzano:AAAI:09,
      AUTHOR = {Bozzano, M. AND Cimatti,  A. AND  Roveri, M. AND Tchaltsev, A.},
      TITLE = {A Comprehensive Approach to On-Board Autonomy Verification and Validation},
      BOOKTITLE = {ICAPS'09 Workshop on Verification and Validation of Planning and Scheduling Systems},
      YEAR = 2009,
      PAGES = {}
      }


@article{Saffiotti:RAS:08,
 author = {Bouguerra, A. AND Karlsson, L. AND Saffiotti, A.},
 title = {Monitoring the execution of robot plans using semantic knowledge},
 journal = {Robotics and Autonomous Systems},
 volume = {56},
 year = {2008},
 pages = {942--954}
 }
 
 @inproceedings {Torasso:ECAI:08,
       AUTHOR = {Micalizio, R. AND Torasso, P.},
       TITLE = {Monitoring the Execution of a Multi-Agent Plan: Dealing with Partial Observability},
       BOOKTITLE = {Proc. ECAI'08},
       YEAR = {2008},
       PAGES={408--412}
      }


 @inproceedings {Bell:ICES:10,
       AUTHOR = {Bell, S. AND Kortenkamp D. AND Zaientz, J.},
       TITLE = {Real-time Monitoring of ECLSS Flight Rules},
       BOOKTITLE = {Int. Conf. on Environmental Systems (ICES'10)},
       YEAR = {2010},
       PAGES={}
      }

@inproceedings{DoussonM07,
  author    = {Dousson, C. AND Le Maigat, P.},
  title     = {Chronicle Recognition Improvement Using Temporal Focusing and Hierarchization},
  booktitle = {IJCAI'07},
  year      = {2007},
  pages     = {324-329},
}




@inproceedings {Musso:10,
      AUTHOR = {Musso, I. AND Micalizio, R. AND Scala, E. AND et al.},
      TITLE = {Communication Scheduling and Plans Revision for Planetary Rovers},
      BOOKTITLE = {Proc. of i-SAIRAS'10},
      YEAR = 2010,
      PAGES = {}
      }


@ARTICLE{Fox03,
    author = {Fox, M. and Long, D.},
    title = {PDDL2.1: An extension to PDDL for expressing temporal planning domains},
    journal = {Journal of Artificial Intelligence Research},
    year = {2003},
    volume = {20},
    pages = {61-124}
}
