Felix Brüning

Automating system-level testing for distributed robotics is now more practical with a new language that handles complexity, non-determinism, and dynamic reconfiguration.