Scott Smolka -

Not registered as user yet

Name:Scott Smolka

Country:United States

Affiliation:Stony Brook University

Contributions

ACSOS 2020	Author of Learning Distributed Controllers for V-Formation within the Research Papers-track
SPIN 2019	Author of Swarm Model Checking on the GPU within the 26th International SPIN Symposium on Model Checking of Software-track
SPIN 2017	Committee Member in Program Committee