High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control

Title
High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control
Authors
Keywords
-
Journal
IEEE CONTROL SYSTEMS MAGAZINE
Volume 37, Issue 2, Pages 82-103
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Online
2017-03-17
DOI
10.1109/mcs.2016.2643244

Ask authors/readers for more resources

Publish scientific posters with Peeref

Peeref publishes scientific posters from all research disciplines. Our Diamond Open Access policy means free access to content and no publication fees for authors.

Learn More

Ask a Question. Answer a Question.

Quickly pose questions to the entire community. Debate answers and get clarity on the most important issues facing researchers.

Get Started