EasyChair Smart SlideDocs/Log in
Author: Geguang Pu

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

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

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