{modelChecking.robotics} Robotic Controllers

Any developer involved in developing complex interactive systems such as robotic controllers agrees that validation and verification of such systems is a huge contribution. Many developers prefer not to get involved in model checking when developing simple applications, but at some point they will realize that as the size of the project grows it will get more and more difficult to test the system. Prototyping a general method that works for all different languages and different robotics setups might not be feasible. We have a specific hardware setup, so I might be able to develop some architecture for our setup in which developing robotic applications is reliable and error-free. I just might.