Linear Temporal Public Announcement Logic: a new perspective for reasoning about the knowledge of multi-classifiers

8 September 2020

Papers citing "Linear Temporal Public Announcement Logic: a new perspective for reasoning about the knowledge of multi-classifiers"

1 / 1 papers shown

Title
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 932 0 21 Oct 2016