On the Software Engineering Challenges of Applying Reactive Synthesis to Robotics (accepted to RoSE@ICSE'18)
On the Software Engineering Challenges of Applying Reactive Synthesis to Robotics (accepted to RoSE@ICSE'18)
Prof. Dr. Jan Oliver Ringert, Professor for Software Engineering at Bauhaus-Universität Weimar, private homepage and blog