Contact

The Slugs GR(1) Synthesis Tool has been developed by Rüdiger Ehlers, Vasumathi Raman, and Cameron Finucane. It is a project that started at the Verifiable Robotics Group at Cornell University.

For questions on the web interface, please send a mail to mail<current-4digit-year>@ruediger-ehlers.de.
General questions and bug reports on slugs can also be posted on the Github issue tracker of Slugs.

An imprint satisfying the requirements of the German Act for Telemedia Services for Slugs’ web interface can be found here.

Acknowledgments

This site uses modifications of cliparts from opencliparts.org:

• mtuma5672's “Check Mark”

• mtuma5672's “Alarm Bell”

• yoderj's “mid-OK”