2 citations · 4 across the 6 of their papers we have counts for
1 paper · 1 filter
Wei Ren, Julien Calbert, Raphael Jungers
This paper studies the controller synthesis problem for Linear Temporal Logic (LTL) specifications using (constrained) zonotope techniques. First, we implement (constrained) zonoto…