2 citations · 3 across the 4 of their papers we have counts for
1 paper · 1 filter
Mikhail Nesterenko, Sébastien Tixeuil
We define and explore the concept of ideal stabilization. The program is ideally stabilizing if its every state is legitimate. Ideal stabilization allows the specification designer…