Three new publications today!

Today we present three new publications: – Featured Team Automata – Efficient and Effective Generation of Test Cases for Pedestrian Detection – Verification and validation of an automated robot inspection cell for automotive body-in-white: a use case...