14 citations · 31 across the 17 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities
Yichen Tao, Hongfei Fu, Jiawei Chen +1
Floating-point round-off errors are ubiquitous in numerically intensive programs arising in fields such as scientific computing and optimization. As floating-point errors potential…
cs.LO2021★ 1 cited
A Program Logic to Verify Signal Temporal Logic Specifications of Hybrid Systems: Extended Technical Report
Hammad Ahmad, Jean-Baptiste Jeannin
Signal temporal logic (STL) was introduced for monitoring temporal properties of continuous-time signals for continuous and hybrid systems. Differential dynamic logic (dL) was intr…