Quantitative Monitoring of Semantic Regular Expressions with Oracle-Defined Trace Predicates

Published in RV (to appear), 2026

Matin Amini, Mukund Raghothaman.