Automatic Synthesis of Controllers for Reactive Systems

No overview was provided with the application due to the lack of an overview

Faculty Supervisor:

Kyle Hsu

Student:

Partner:

Max Planck Institute

Discipline:

Computer science

Sector:

University:

University of Toronto

Program:

Globalink Research Award

Related projects

Discover more projects across a range of sectors and discipline — from AI to cleantech to social innovation.

View all
Current openings

Find the perfect opportunity to put your academic skills and knowledge into practice!

Find Projects

Mitacs Partners

The strong support from governments across Canada, international partners, universities, colleges, companies, and community organizations has enabled Mitacs to focus on the core idea that talent and partnerships power innovation — and innovation creates a better future.

Government
Academic
Industry
Innovation
International

International

Load More

International

Load More

Join a thriving innovation ecosystem.

Subscribe to our newsletter now!

Subscribe