Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Srdjan Krstic

On the Risk of Tool Over-Tuning in Run-Time Verification Competitions (Position Paper)

English