The Best ARCH 2017 Paper Award Tool Award goes to Stanley Bak and Parasara Sridhar Duggirala
The Best ARCH 2017 Paper Award goes to Stanley Bak and Parasara Sridhar Duggirala for their paper "Direct Verification of Linear Systems with over 10000 Dimensions". Congratulations! The award comes with a 500 Euro prize from Bosch.
Submitted by Matthias Althoff
on