7 citations · 17 across the 10 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020★ 7 cited
LTLf Synthesis under Partial Observability: From Theory to Practice
Lucas M. Tabajara, Moshe Y. Vardi
LTL synthesis is the problem of synthesizing a reactive system from a formal specification in Linear Temporal Logic. The extension of allowing for partial observability, where the…
cs.FL2020★ 4 cited
On the Power of Automata Minimization in Reactive Synthesis
Shufang Zhu, Lucas M. Tabajara, Geguang Pu +1
Temporal logic is often used to describe temporal properties in AI applications. The most popular language for doing so is Linear Temporal Logic (LTL). Recently, LTL on finite trac…