Boosting-Based Construction of BDDs for Linear Threshold Functions and Its Application to Verification of Neural Networks

Yiping Tang, Kohei Hatano, Eiji Takimoto

研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

フィンガープリント

「Boosting-Based Construction of BDDs for Linear Threshold Functions and Its Application to Verification of Neural Networks」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Computer Science