First-order vs. second-order encodings for \textsc{ltl}\(_f\)-to-automata translation

DOI10.1007/978-3-030-14812-6_43OpenAlexW2937989860MaRDI QIDQ2327515

Moshe Y. Vardi, Geguang Pu, Shufang Zhu

Publication date: 15 October 2019

Full work available at URL: https://arxiv.org/abs/1901.06108

Mathematics Subject Classification ID

Related Items (2)

Linear temporal logic -- from infinite to finite horizon ⋮ Unnamed Item

This page was built for publication: First-order vs. second-order encodings for \textsc{ltl}\(_f\)-to-automata translation