research
∙
11/04/2022
On Robustness for the Skolem, Positivity and Ultimate Positivity Problems
The Skolem problem is a long-standing open problem in linear dynamical s...
share
research
∙
10/10/2019
Succinct Population Protocols for Presburger Arithmetic
Angluin et al. proved that population protocols compute exactly the pred...
research
∙
04/25/2018
