1 paper
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…