DOI,IST REx ID,Research Group,Title of publication
null,10669,"GradSch,ToHe",On the verification of neural ODEs with stochastic guarantees
null,10670,"GradSch,ToHe",Causal navigation by continuous-time neural networks
null,10671,"GradSch,ToHe",Liquid time-constant networks
10.23638/LMCS-17(1:10)2021,10674,ToHe,Determinacy in discrete-bidding infinite-duration games
10.34727/2021/isbn.978-3-85448-046-4_23,10688,ToHe,The Civl verifier
10.1016/j.tcs.2021.05.023,9647,"ToHe,CaGu",Long lived transients in gene regulation
10.15479/AT:ISTA:9946,9946,ToHe,Differential monitoring
null,8287,ToHe,Reachability analysis of linear hybrid systems via block decomposition
10.15479/AT:ISTA:8332,8332,ToHe,"Verifying concurrent programs: Refinement, synchronization, sequentialization"
10.29007/zkf6,8571,ToHe,ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear dynamics
10.29007/7dt2,8572,ToHe,ARCH-COMP20 Category Report: Continuous and hybrid systems with linear dynamics
10.4230/LIPIcs.CONCUR.2020.2,8599,ToHe,A survey of bidding games on graphs
10.4230/LIPIcs.CONCUR.2020.23,8600,"KrCh,ToHe",Multi-dimensional long-run average problems for vector addition systems with states
10.1007/978-3-030-60508-7_1,8623,ToHe,Monitorability under assumptions
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