EasyChair Smart SlideDocs/Log in
Author: Sayan Mitra

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

Dione: A protocol verification system built with Dafny for I/O Automata

Dione: A protocol verification system built with Dafny for I/O Automata

Chiao Hsieh and Sayan Mitra

Approximate Partial Order Reduction

Approximate Partial Order Reduction

Chuchu Fan, Zhenqi Huang and Sayan Mitra

Controller Synthesis Made Real: Reach-avoid Specifications and Linear Dynamics

Controller Synthesis Made Real: Reach-avoid Specifications and Linear Dynamics

Chuchu Fan, Umang Mathur, Sayan Mitra and Mahesh Viswanathan

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