2007

  • REACT-TR-2007-01
  • January 2007
  • Controller Synthesis of Discrete Linear Plants Using Polyhedra
  • Matteo Slanina, Sriram Sankaranarayanan, Henny B. Sipma, and Zohar Manna
  • Download PDF

2006

  • REACT-TR-2006-04
  • October 2006
  • Game-Theoretic Deductive Verification of a Contract-Signing Protocol II
  • Matteo Slanina, Henny B. Sipma, and Zohar Manna
  • Download PDF
  • REACT-TR-2006-03
  • August 2006
  • Game-Theoretic Deductive Verification of a Contract-Signing Protocol
  • Matteo Slanina, Henny B. Sipma, and Zohar Manna
  • Download PDF
  • REACT-TR-2006-02
  • August 2006
  • Proving ATL* Properties of Infinite-State Systems
  • Matteo Slanina, Henny B. Sipma, and Zohar Manna
  • Download PDF
  • REACT-TR-2006-01
  • June 2006
  • Reachable State Spaces of Distributed Deadlock Avoidance Protocols
  • César Sánchez and Henny B. Sipma
  • Download PDF