1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.FL2024
Attractor Basins in Concurrent Systems
Giann Karlo Aguirre Samboni, Stefan Haar, Loic Paulevé +2
A crucial question in analyzing a concurrent system is to determine its long-run behaviour, and in particular, whether there are irreversible choices in its evolution, leading into…
cs.GT2021★ 1 cited
Canonical Representations for Direct Generation of Strategies in High-level Petri Games (Full Version)
Manuel Gieseking, Nick Würdemann
Petri games are a multi-player game model for the synthesis problem in distributed systems, i.e., the automatic generation of local controllers. The model represents causal memory…