- ๐ญ Iโm currently working on autonomy and agility of legged robots
- ๐ฏ Iโm always open to collaborations
- ๐ซ How to reach me: [email protected]
zzhou387 / synthesis_based_repair Goto Github PK
View Code? Open in Web Editor NEWThis project forked from apacheck/synthesis_based_repair
Synthesis-based repair for GR(1) specifications