EasyChair Smart SlideDocs/Log in
Author: Shufang Zhu

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

Act for Your Duties but Maintain Your Rights

Act for Your Duties but Maintain Your Rights

Shufang Zhu and Giuseppe De Giacomo

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

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