1. Combining set propagation with finite element methods for time integration in transient solid mechanics problems
2. Set Propagation Techniques for Reachability Analysis
3. Forets, Marcelo and Schilling, Christian and Benet, Luis and Contributors, jan, ReachabilityAnalysis.jl, 0.16.3, 2022, https://github.com/JuliaReach/ReachabilityAnalysis.jl, 1