Reasoning about safety of learning-enabled components in autonomous cyber-physical systems.

Cumhur Erkan Tuncali, James Kapinski, Hisahiro Ito, Jyotirmoy V. Deshmukh

Browse the full DAC paper archive.