Project for the course Introduction to Modeling and Verification of Digital Systems. The idea is to design a control system for robots, based on description from:
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool