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…