_id,doi,title
6035,10.1145/3302504.3311804,JuliaReach: A toolbox for set-based reachability
6428,10.1145/3302504.3311800,Interface-aware signal temporal logic