EasyChair Smart SlideDocs/Log in
Author: Moshe Vardi

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

Automated Reasoning with Data

Automated Reasoning with Data

Moshe Vardi

Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition

Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition

Yong Li, Andrea Turrini, Weizhi Feng, Moshe Vardi and Lijun Zhang

First-Order vs. Second-Order Encodings for LTLf-to-Automata: An Extended Abstract

First-Order vs. Second-Order Encodings for LTLf-to-Automata: An Extended Abstract

Shufang Zhu, Geguang Pu and Moshe Vardi

Solving Parity Games: Explicit vs Symbolic

Solving Parity Games: Explicit vs Symbolic

Antonio Di Stasio, Aniello Murano and Moshe Vardi

Sequential Relational Decomposition

Sequential Relational Decomposition

Dror Fried, Axel Legay, Joel Ouaknine and Moshe Y Vardi

Automata vs Linear-Programming Discounted-Sum Inclusion

Automata vs Linear-Programming Discounted-Sum Inclusion

Suguman Bansal, Swarat Chaudhuri and Moshe Vardi

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