147 citations · 590 across the 30 of their papers we have counts for
1 paper · 1 filter
Matthias Althoff
Zonotopes are becoming an increasingly popular set representation for formal verification techniques. This is mainly due to their efficient representation and their favorable compu…