activity
20232026
most citedDistribution of Reconfiguration Languages maintaining Tree-like Communication Topology

1 citations · 1 across the 5 of their papers we have counts for

collaborators
Showing 2026 · cs.LOShow all

1 paper · 2 filters

cs.LO2026

Symbolic Synthesis for LTLf+ Obligations

Giuseppe De Giacomo, Christian Hagemeier, Daniel Hausmann +1

We study synthesis for obligation properties expressed in LTLfp, the extension of LTLf to infinite traces. Obligation properties are positive Boolean combinations of safety and gua…