2 papers
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.FL2022
On the Expressive Power of the Normal Form for Branching-Time Temporal Logics
Alexander Bolotov
With the emerging applications that involve complex distributed systems branching-time specifications are specifically important as they reflect dynamic and non-deterministic natur…