35 citations · 102 across the 24 of their papers we have counts for
Showing 2023 · cs.LOShow all
2 papers · 2 filters
cs.LO2023
Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems
Benjamin Aminof, Sasha Rubin, Francesco Spegni +1
We study the complexity of the model-checking problem for parameterized discrete-timed systems with arbitrarily many anonymous and identical processes, with and without a distingui…
cs.LO2023
LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties
Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio +3
In this paper, we study LTLf synthesis under environment specifications for arbitrary reachability and safety properties. We consider both kinds of properties for both agent tasks…