You are here


  1. Alessandro Cimatti; Sergio Mover; Stefano Tonetta,
    HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction,
    , (37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011,
    Oulu, Finland,
    da 08/30/2011 a 09/02/2011)
  2. Benjamin Bittner; Marco Bozzano; Alessandro Cimatti; Xavier Olive,
    Symbolic Synthesis of Observability Requirements for Diagnosability,
    Proceedings of 11th Symposium on Advanced Space Technologies in Robotics and Automation,
    , (ASTRA 2011,
    Noordwijk, The Netherlands,
    12/04/2011 – 14/04/2011)
  3. Robin Steel; Alexander Hoffman; Alessandro Cimatti; Marco Roveri; Konstantinos Kapellos; Alessandro Donati; Nicola Policella,
    Innovative Rover Operations Concepts–Autonomous Planning: Keeping a dog on the lead,
    International Workshop on Planning and Scheduling for Space, IWPSS 2011,
    , (International Workshop on Planning and Scheduling for Space, IWPSS 2011,
    Freiburg, Germany,
    Giugno 2011)
  4. Matteo Ceriotti; Paolo Costa; Stefan Gună; Luca Mottola; Amy L. Murphy; Gian Pietro Picco,