model checking or other formal verification tools. In the months leading up to the competition, the organizers created an open source infrastructure for generating problem instances and interacting with submitted control

First Page		Document Content
Date: 2018-01-30 14:11:27		model checking or other formal verification tools. In the months leading up to the competition, the organizers created an open source infrastructure for generating problem instances and interacting with submitted control Add to Reading List Source URL: gmwgroup.harvard.edu Download Document from Source Website File Size: 461,07 KB Share Document on Facebook