About this scholarly article

Proceedings of the 14th International Conference on Embedded Software - EMSOFT '14 - Infinite horizon safety controller synthesis through disjunctive polyhedral abstract interpretation by Ravanbakhsh, Hadi (author);Sankaranarayanan, Sriram (author) is a scholarly article available to read on EtoBox.

Author

Ravanbakhsh, Hadi (author);Sankaranarayanan, Sriram (author)

Publisher

Association for Computing Machinery

Published

2014

Language

EN