ACADO dev team
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Youssef AbouDorra
youssef-aboudorra
PhD Candidate @utwente (RaM),
Aerial Robotics
University of Twente, RaM (Robotics and Mechatronics) Enschede, NL
