GitHub repository: Artem1199/ECE-HACoSR2
Description: High Assurance Controller for inverted pendulum robot II