EasyChair Smart SlideDocs/Log in
Author: Suguman Bansal

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

Automata vs Linear-Programming Discounted-Sum Inclusion

Automata vs Linear-Programming Discounted-Sum Inclusion

Suguman Bansal, Swarat Chaudhuri and Moshe Vardi

Synthesis Of Asynchronous Reactive Programs From Temporal Specifications

Synthesis Of Asynchronous Reactive Programs From Temporal Specifications

Suguman Bansal, Kedar Namjoshi and Yaniv Sa'Ar

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair