1 citations · 1 across the 5 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2023
A Correct Algorithm for Identifying Independent Variable Sets in Reactive Systems
Josu Oca, Montserrat Hermo, Alexander Bolotov
Recent work has proposed algorithms for decomposing reactive synthesis specifications into simpler and independent subspecifications. Motivated by the DecomposeContract algorithm i…
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…