Showing cs.LOShow all
2 papers · 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…
cs.LO2021
A beginner guide to Iris, Coq and separation logic
Elizabeth Dietrich
Creating safe concurrent algorithms is challenging and error-prone. For this reason, a formal verification framework is necessary especially when those concurrent algorithms are us…