Login
- Title:
Automated generation of dynamics-based runtime certificates for high-level control
- Author(s):
- DeCastro, J.; Ehlers, R.; Rungger, M.; Balkan, A.; Kress-Gazit, H.
- Journal title:
- Discrete Event Dynamic Systems
- Year:
- 2017
- Journal volume:
- 27
- Journal issue:
- 2
- Pages contribution:
- 371--405
- Fulltext / DOI:
- doi:10.1007/s10626-016-0232-7
- Publisher:
- Springer
BibTeX