Synthesis of Memory-Efficient Real-Time Controllers for Safety Objectives

AuthID
P-007-YBZ
2
Author(s)
Chatterjee, K
·
Tipo de Documento
Proceedings Paper
Year published
2011
Publicado
in HSCC'11 - Proceedings of the 2011 ACM/SIGBED Hybrid Systems: Computation and Control
Páginas: 221-230
Conference
14Th Acm International Conference on Hybrid Systems: Computation and Control, Hscc 2011, Date: 12 April 2011 through 14 April 2011, Location: Chicago, IL, Patrocinadores: ACM SIGBED
Indexing
Publication Identifiers
SCOPUS: 2-s2.0-79955986985
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.