On the Software Engineering Challenges of Applying Reactive Synthesis to Robotics (accepted to RoSE@ICSE'18)
Our paper "On the Software Engineering Challenges of Applying Reactive Synthesis to Robotics" has been accepted for presentation and publication at the 1st International Workshop on Robotics Software Engineering (RoSE'18) at ICSE'18. The paper is based on our experience in the SYNTECH project.
We discuss software engineering
challenges in applying reactive synthesis to robotics, beyond the
synthesis algorithms themselves, including the challenge of writing
declarative specifications, the challenge of abstraction of data and
time, and the challenge of availability of an adequate development
process supported by related tools. The identification and description
of the challenges are based on our experience in building a development
environment for reactive synthesis and applying it to the construction
of about 10 different autonomous Lego robots.
Some links:
Comments
Post a Comment