activity
20212026
most citedA Guidance and Maneuvering Control System Design with Anti-collision Using Stream Functions with Vortex Flows for Autonomous Marine Vessels

26 citations · 28 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…