SATMC: Contributors

• Luca Compagna
  • Contribution:
    • SATMC system design: architecture, approach, and implementation.
    • Translators from IF (v.1 and v.2) to SATE.
    • Reduction to SAT: variants of linears and graphplan-based encoding techniques; abstraction/refinement strategy.
    • Reduction to Logic Programming (with the collaboration of Yuliya Lierler).
  • Period: Since May 2001
• Alessandro Armando
  • Contribution:
    • SATMC system design: architecture, approach, and implementation of the first prototype.
    • Definition of the SATE planning language.
  • Period: Since May 2001
• Roberto Carbone
  • Contribution: Extension of SATMC to support the analysis of complex properties expressed as LTL formulae
  • Period: Since October 2004
• Jacopo Mantovani
  • Contribution: Translator from IF v.2 to SATE
  • Period: October 2003 - July 2005
• Cristina Frà
  • Contribution: Optimized Intruder Model for SATMC
  • Period: July 2003 - March 2004
• Pierre Ganty
  • Contribution: First version of the Graphplan-based Encoding
  • Period: October 2002 - September 2003
• Graham Steel
  • Contribution: New termination check for SATMC
  • Period: Since May 2008