johnyf / contract_maker Goto Github PK
View Code? Open in Web Editor NEWConstruction of GR(1) contracts for distributed systems (research prototype): <https://doi.org/10.1109/JPROC.2018.2834926> and <https://doi.org/10.1109/ACC.2016.7525009>
Home Page: https://resolver.caltech.edu/CaltechAUTHORS:20180920-104049492
License: Other