DOI,IST REx ID,Research Group,Title of publication
10.1109/LICS52264.2021.9470547,9356,"GradSch,ToHe",Quantitative and approximate monitoring
10.1609/aaai.v35i5.16496,10665,"GradSch,ToHe",Scalable verification of quantized neural networks
10.1609/aaai.v35i9.16936,10671,"GradSch,ToHe",Liquid time-constant networks
10.1609/aaai.v35i13.17372,10669,"GradSch,ToHe",On the verification of neural ODEs with stochastic guarantees
10.1007/s10009-020-00582-z,10861,ToHe,AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic
null,10672,"GradSch,ToHe",Learning representations for binary-classification without backpropagation
null,10673,"GradSch,ToHe",A natural lottery ticket winner: Reinforcement learning with ordinary neural circuits
10.1007/978-3-030-45237-7_5,7808,ToHe,How many bits does it take to quantize your neural network?
10.1145/3385412.3385980,8012,ToHe,Inductive sequentialization of asynchronous programs
10.1007/978-3-030-51074-9_2,8194,ToHe,An SMT theory of fixed-point arithmetic
10.1007/978-3-030-53288-8_14,8195,ToHe,Refinement for structured concurrent programs
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