9 citations · 16 across the 2 of their papers we have counts for
2 papers
physics.soc-ph2022★ 9 cited
Network-wide assessment of ATM mechanisms using an agent-based model
Luis Delgado, Gérald Gurtner, Piero Mazzarisi +4
This paper presents results from the SESAR ER3 Domino project. Three mechanisms are assessed at the ECAC-wide level: 4D trajectory adjustments (a combination of actively waiting fo…
cs.FL2016★ 7 cited
Bounded-oscillation Pushdown Automata
Pierre Ganty, Damir Valput
We present an underapproximation for context-free languages by filtering out runs of the underlying pushdown automaton depending on how the stack height evolves over time. In parti…