Rich and Expressive Specification of Continuous-Learning Cyber-Physical Systems.

Thomas Flinkow, Barak A. Pearlmutter, Rosemary Monahan

Browse the full DSN paper archive.