EasyChair Smart SlideUser guide
Author: Geguang Pu

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

A Low-Cost Embedded Hardware-in-the-Loop Simulation Platform for Permanent-Magnet DC Motor Drives on a Constrained 8-Bit Microcontroller

A Low-Cost Embedded Hardware-in-the-Loop Simulation Platform for Permanent-Magnet DC Motor Drives on a Constrained 8-Bit Microcontroller

Liu Yihong, Pu Geguang, Zhao Hongyang and Yang Chunhui

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: 3
Copyright © 2002 – 2026 EasyChair