On the Software Engineering Challenges of Applying Reactive Synthesis to Robotics

Published May 28, 2022 | Version v1

Conference paper Open

Paper from ROSE'18

Notes

Author's copy

Name	Size
challenges4robotics-rose18.pdf md5:0ca7eb88e8ec2b546a93dfea5da2e3c5	951.5 kB	Preview Download

103

Views

218

Downloads

Show more details

DOI

Resource type

Conference paper

Publisher

Zenodo

License: Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more