"Towards Learning and Verifying Invariants of Cyber-Physical Systems by ..."

Yuqi Chen, Christopher M. Poskitt, Jun Sun (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics