Tool for developing environment models, synthesising controllers efficiently, and enacting those controllers using a composition of existing third-party components.

This repository contains information related to the tool ControllerSynthesis presented at the International Conference on Software Engineering, 2013. The tool was originally presented in this [paper] (http://dl.acm.org/citation.cfm?id=2487002).

This repository is not the original repository for this tool. Here are some links to the original project:

• The Official Project [Page] (http://sourceforge.net/projects/mtsa/), including download [page] (http://sourceforge.net/projects/mtsa/files/latest/download)
• A [Video] (http://youtu.be/RnetgVihpV4) of the Tool

In this repository, for ControllerSynthesis you will find:

• ✅ [Source code] (mtsa-code/) (available)
• ✅ [The original tool] (dist/mtsa.jar) (available)
• ✅ Virtual machine containing tool

This repository was constructed by [Vishakha Narvekar] (https://github.com/vish4) and [Sumit Tomer] (https://github.com/sktomer) under the supervision of [Professor Emerson Murphy-Hill] (https://github.com/CaptainEmerson). Thanks to Mr. Sebastian Uchitel for his help in establishing this repository.