EasyChair Smart SlideUser guide
Author: Grigory Fedyukovich

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

Collaborative Inference of Combined Invariants

Collaborative Inference of Combined Invariants

Yurii Kostyukov, Dmitry Mordvinov and Grigory Fedyukovich

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

Syntax-Guided Termination Analysis

Syntax-Guided Termination Analysis

Grigory Fedyukovich, Yueling Zhang and Aarti Gupta

Exploiting Synchrony and Symmetry in Relational Verification

Exploiting Synchrony and Symmetry in Relational Verification

Lauren Pick, Grigory Fedyukovich and Aarti Gupta

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