EasyChair Smart SlideUser guide
Author: Natasha Sharygina

This page shows all presentations of this author published in EasyChair Smart Slide.

Space Explanations of Neural Network Classification

Space Explanations of Neural Network Classification

Faezeh Labbaf, Tomáš Kolárik, Martin Blicha, Grigory Fedyukovich, Michael Wand and Natasha Sharygina

Function Summarization Modulo Theories

Function Summarization Modulo Theories

Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti Hyvärinen, Karine Even-Mendoza, Natasha Sharygina and Hana Chockler

Lattice-Based Refinement in Bounded Model Checking

Lattice-Based Refinement in Bounded Model Checking

Karine Even-Mendoza, Sepideh Asadi, Antti Hyvärinen, Hana Chockler and Natasha Sharygina

Presentations in this collection: 3
Copyright © 2002 – 2026 EasyChair