Not registered as user yet

Name:Michael W. Whalen
Affiliation:University of Minnesota

Contributions

ASE 2020 Author of Synthesis of Infinite-State Systems with Random Behavior within the Research Papers-track