EasyChair Smart SlideDocs/Log in
Author: Moshe Vardi

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

Verification and Realizability in Finite-Horizon Multiagent Systems

Verification and Realizability in Finite-Horizon Multiagent Systems

Senthil Rajasekaran and Moshe Y. Vardi

SimpleCAR: An Efficient Bug-Finding Tool Based On Approximate Reachability

SimpleCAR: An Efficient Bug-Finding Tool Based On Approximate Reachability

Jianwen Li, Rohit Dureja, Geguang Pu, Kristin Yvonne Rozier and Moshe Vardi

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