• PESSOA

  • Referenced in 22 articles [sw20123]
  • Pessoa 2.0: a controller synthesis tool for cyber...
  • CoSyma

  • Referenced in 12 articles [sw20124]
  • CoSyma: a tool for controller synthesis using multi...
  • SCOTS

  • Referenced in 20 articles [sw20172]
  • SCOTS: a tool for the synthesis of symbolic...
  • TuLiP

  • Referenced in 14 articles [sw20173]
  • TuLiP: a software toolbox for receding horizon temporal...
  • ROCS

  • Referenced in 5 articles [sw28114]
  • ROCS: a robustly complete control synthesis tool for...
  • pFaces

  • Referenced in 3 articles [sw30630]
  • pFaces: an acceleration ecosystem for symbolic control. The...
  • SENSE

  • Referenced in 1 article [sw30632]
  • SENSE: Abstraction-Based Synthesis of Networked Control Systems...
  • qpSWIFT

  • Referenced in 1 article [sw41778]
  • qpSWIFT: A Real-Time Sparse Quadratic Program Solver...