Portfolio ImportantThis repository is used to host the webpage for the portfolio of M.Sc. Salman Omar Sohail. Portfolio site MYBOTSHOP GmbH Github MBS GitHub Profile Research Paper Repositories Automated Testing of Standard Conformance for Robots Property-Based Testing in Simulation for Verifying Robot Action Execution in Tabletop Manipulation