@inproceedings{979af732632845b58514afabfab3f860,
title = "On the software engineering challenges of applying reactive synthesis to robotics",
abstract = "Reactive synthesis is an automated procedure to obtain a correct-by-construction reactive system from its temporal logic specification. This short paper discusses the 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. We describe the challenges using concrete examples from one of the robots built in our lab.",
keywords = "GR(1), reactive synthesis",
author = "Shahar Maoz and Ringert, {Jan Oliver}",
note = "Publisher Copyright: {\textcopyright} 2018 ACM.; 1st ACM/IEEE International Workshop on Robotics Software Engineering, RoSE 2018, co-located with the 40th International Conference on Software Engineering, ICSE 2018 ; Conference date: 28-05-2018",
year = "2018",
month = may,
day = "28",
doi = "10.1145/3196558.3196561",
language = "الإنجليزيّة",
series = "Proceedings - International Conference on Software Engineering",
publisher = "IEEE Computer Society",
pages = "17--22",
booktitle = "Proceedings 2018 ACM/IEEE 1st International Workshop on Robotics Software Engineering, RoSE 2018",
address = "الولايات المتّحدة",
}