Published November 22, 2024
| Version 0.13.3
Software
Open
tulip-control/gr1c – v0.13.3
- Creators
- Livingston, Scott C.
Citation
APA
Livingston, S. C. (2024). tulip-control/gr1c – v0.13.3 (0.13.3). CaltechDATA. https://doi.org/10.22002/4z4w1-8pr45
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 )