1 citations · 1 across the 5 of their papers we have counts for
Showing 2022 · cs.LOShow all
2 papers · 2 filters
cs.LO2022
A Tableau Method for the Realizability and Synthesis of Reactive Safety Specifications
Montserrat Hermo, Paqui Lucio, César Sánchez
We introduce a tableau decision method for deciding realizability of specifications expressed in a safety fragment of LTL that includes bounded future temporal operators. Tableau d…
cs.LO2022★ 1 cited
On the Complexity of Realizability for Safety LTL and Related Subfragments
Noel Arteche, Montserrat Hermo
We study the realizability problem for Safety LTL, the syntactic fragment of Linear Temporal Logic capturing safe formulas. We show that the problem is EXP-complete, disproving the…