Published November 22, 2024
| Version 0.13.3
Software
Open
tulip-control/gr1c – v0.13.3
- Creators
- Livingston, Scott C.
Description
Documentation is available at https://tulip-control.github.io/gr1c Summary of changes:
- Various code quality improvements (not affecting correctness)
- Improve documentation
Files
gr1c_v0.13.3.zip
Additional details
- References
- Livingston, S. C. (2024). gr1c: a tool for interactive and incremental reactive synthesis. Caltech Library. https://doi.org/10.7907/5M62H-A4204 ( other - 10.7907/5m62h-a4204 )