17 citations · 22 across the 5 of their papers we have counts for
1 paper · 1 filter
Rafael Wisniewski, Christoffer Sloth
In this work, we continue our study on discrete abstractions of dynamical systems. To this end, we use a family of partitioning functions to generate an abstraction. The intersecti…