most citedManeuvering-based Dynamic Thrust Allocation for Fully-Actuated Vessels

2 citations · 2 across the 7 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2025

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis

Hanna Krasowski, Elizabeth Dietrich, Emir Cem Gezer +3

Signal Temporal Logic (STL) is an expressive language for specifying behaviors of dynamical systems from continuous signals. However, a limitation of standard STL is its inherently…