Author:Thomas A. Henzinger

Publications
Reasoning About Hyperproperties with Automated Theorem Provers (extended version) Tobias Nießen, Ana Oliveira da Costa, Johannes Schoisswohl, Thomas A. Henzinger and Laura Kovács EasyChair Preprint 16030
How Many Bits Does it Take to Quantize Your Neural Network? Mirco Giacobbe, Thomas A. Henzinger and Mathias Lechner EasyChair Preprint 1000
How Many Bits Does it Take to Quantize Your Neural Network? Mirco Giacobbe, Thomas A. Henzinger and Mathias Lechner EasyChair Preprint 1000
How Many Bits Does it Take to Quantize Your Neural Network? Mirco Giacobbe, Thomas A. Henzinger and Mathias Lechner EasyChair Preprint 1000