EasyChair Smart SlideUser guide
Author: Sanjit A. Seshia

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

UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis

UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis

Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora and Sanjit A. Seshia

Reactive Control Improvisation

Reactive Control Improvisation

Daniel J. Fremont and Sanjit A. Seshia

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