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.FL2022★ 1 cited
Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets
Giann Karlo Aguirre-Samboní, Stefan Haar, Loïc 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…