EasyChair Smart SlideUser guide
Author: Mahesh Viswanathan

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

Model checking indistinguishability of randomized security protocols

Model checking indistinguishability of randomized security protocols

Matthew Bauer, Rohit Chadha, A. Prasad Sistla and Mahesh Viswanathan

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: 2
Copyright © 2002 – 2026 EasyChair