In this work, we propose a novel approach for the continuous-time control synthesis of
nonlinear systems under nested signal temporal logic (STL) specifications. While the …

This article introduces a model-based approach for training feedback controllers for an
autonomous agent operating in a highly non-linear (albeit deterministic) environment. We …

Signal Temporal Logic (STL) is capable of expressing a broad range of temporal properties
that controlled dynamical systems must satisfy. In the literature, both mixed-integer …

Signal temporal logic (STL) formulas have been widely used as a formal language to
express complex robotic specifications, thanks to their rich expressiveness and explicit time …

This paper presents a method for defining and managing complex power management
behaviors in microgrids that incorporate renewable energy sources, storage devices with …

Recent work demonstrated that using Koopman surrogate models to falsify black-box
models against signal temporal logic specifications is highly effective. However, the …