Sign in

A Simplex Architecture for Hybrid Systems Using Barrier Certificates.

Junxing YangMd. Ariful IslamAbhishek MurthyScott A. SmolkaScott D. Stoller
Published in: SAFECOMP (2017)
Keyphrases