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 source code
- A [Video] (http://youtu.be/RnetgVihpV4) of the Tool
In this repository, for ControllerSynthesis you will find:
- ✅ Source code
- ✅ The original tool (available)
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.