The software developed by the group members are available at https://github.com/iitkcpslab/.
Old Software
Complan
A tool for compositional motion planning for multi-robot systems with complex specifications
Download
Dimsim
A Tool for Automatic Dimensional Analysis of Simulink Models
Download
ModelRob
A Simulink Library for Modeling of Robot Manipulators
Download
(Please report any bug to: saha[dot]indra[at]gmail[dot]com)