Keyword:Symbolic Analysis

Publications
How to Design Multiplierless Neural Networks for Deep Learning? Maja Lutovac Banduka and Miroslav Lutovac EasyChair Preprint 13105
Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis Kengo Kido, Swarat Chaudhuri and Ichiro Hasuo In:Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015