10 citations · 23 across the 7 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2019★ 10 cited
First-Order vs. Second-Order Encodings for LTLf-to-Automata Translation
Shufang Zhu, Geguang Pu, Moshe Y. Vardi
Translating formulas of Linear Temporal Logic (LTL) over finite traces, or LTLf, to symbolic Deterministic Finite Automata (DFA) plays an important role not only in LTLf synthesis,…
cs.LO2018
SAT-based Explicit LTLf Satisfiability Checking
Jianwen Li, Kristin Y. Rozier, Geguang Pu +2
We present here a SAT-based framework for LTLf (Linear Temporal Logic on Finite Traces) satisfiability checking. We use propositional SAT-solving techniques to construct a transiti…
cs.LO2013★ 4 cited
MDM: A Mode Diagram Modeling Framework
Zheng Wang, Geguang Pu, Jianwen Li +5
Periodic control systems used in spacecrafts and automotives are usually period-driven and can be decomposed into different modes with each mode representing a system state observe…