DOI,IST REx ID,Research Group,Title of publication
null,10665,"GradSch,ToHe",Scalable verification of quantized neural networks
null,10668,"GradSch,ToHe",On-off center-surround receptive fields for accurate and robust image classification
null,10669,"GradSch,ToHe",On the verification of neural ODEs with stochastic guarantees
null,10671,"GradSch,ToHe",Liquid time-constant networks
10.34727/2021/isbn.978-3-85448-046-4_23,10688,ToHe,The Civl verifier
10.1016/j.eswa.2020.114203,8912,ToHe,Boosting expensive synchronizing heuristics
10.1145/3447928.3456704,9200,ToHe,Synthesis of hybrid automata with affine dynamics from time-series data
10.1016/j.jcss.2021.02.008,9239,ToHe,Bidding mechanisms in graph games
10.48550/arXiv.2103.11389,9281,"LaEr,ToHe",Formal verification of Zagier's one-sentence proof
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
10.23638/LMCS-17(1:10)2021,10674,ToHe,Determinacy in discrete-bidding infinite-duration games
10.1109/ICRA48506.2021.9561036,10666,"GradSch,ToHe",Adversarial training is not ready for robot learning
10.48550/arXiv.2111.03165,10667,"GradSch,ToHe,KrCh",Infinite time horizon safety of Bayesian neural networks
null,10670,"GradSch,ToHe",Causal navigation by continuous-time neural networks
10.1109/LICS52264.2021.9470547,9356,"GradSch,ToHe",Quantitative and approximate monitoring
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?