This page shows all presentations of this author published in EasyChair Smart Slide.
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
Shufang Zhu, Geguang Pu and Moshe Vardi