DOI,IST REx ID,Research Group,Title of publication
10.1038/s42256-020-00237-3,8679,ToHe,Neural circuit policies enabling auditable autonomy
10.1109/ICRA40945.2020.9196608,8704,ToHe,Gershgorin loss stabilizes the recurrent neural network compartment of an end-to-end robot learning scheme
10.1109/MEMOCODE51338.2020.9314994,8750,ToHe,Efficient reachability analysis of parametric linear hybrid systems with  time-triggered transitions
10.1109/TCAD.2020.3012859,8790,ToHe,Reachability analysis of linear hybrid systems via block decomposition
10.34727/2020/isbn.978-3-85448-042-6_21,9040,ToHe,Formal methods with a touch of magic
10.1109/CDC42340.2020.9304042,9103,ToHe,Lagrangian reachtubes: The next generation
10.1609/aaai.v34i02.5546,9197,"ToHe,KrCh",All-pay bidding games on graphs
10.1109/RTSS49844.2020.00031,9202,ToHe,Hybridization for stability verification of nonlinear switched systems
null,9632,"DaAl,ToHe",WoodFisher: Efficient second-order approximation for neural network compression
10.1016/j.tcs.2019.06.031,6761,ToHe,Dynamic resource allocation games
10.4230/LIPIcs.CSL.2020.20,7348,ToHe,Monitoring event frequencies
10.3233/FAIA200375,7505,ToHe,Outside the box: Abstraction-based monitoring of neural networks
10.1016/j.nahs.2020.100856,7426,ToHe,Abstraction based verification of stability of polyhedral switched systems
10.1145/3302504.3311804,6035,ToHe,JuliaReach: A toolbox for set-based reachability
10.1007/978-3-030-17462-0_13,6042,ToHe,Semantic fault localization and suspiciousness ranking
10.29007/m75b,7576,ToHe,ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics
10.29007/bj1w,8570,ToHe,ARCH-COMP19 Category Report: Continuous and hybrid systems with linear continuous dynamics
10.1145/3302504.3311800,6428,ToHe,Interface-aware signal temporal logic
10.1007/978-3-030-25540-4_36,6462,"ToHe,KrCh",Run-time optimization for learned controllers through quantitative games
10.1007/978-3-030-25540-4_16,6493,ToHe,Membership-based synthesis of linear hybrid automata