89 citations · 117 across the 8 of their papers we have counts for
1 paper · 1 filter
Alan Perotti
Rule-based run-time monitoring system for finite traces, with FLTL verdict and quadratic complexity.