DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-030-95561-8_1,10891,ToHe,Quantitative monitoring of software
10.1007/978-3-030-99429-7_1,11355,ToHe,Information-flow interfaces
10.15479/at:ista:11362,11362,"GradSch,ToHe",Learning verifiable representations
10.48550/arXiv.2204.07373,11366,ToHe,Revisiting the adversarial robustness-accuracy tradeoff in robot learning
10.1007/978-3-031-17196-3_11,11775,"GradSch,ToHe",Abstract monitors for quantitative specifications
10.1109/ICRA46639.2022.9811650,12010,ToHe,Latent imagination facilitates zero-shot transfer in autonomous racing
10.1038/s42256-022-00556-7,12147,ToHe,Closed-form continuous-time neural networks
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.1109/LICS52264.2021.9470547,9356,"GradSch,ToHe",Quantitative and approximate monitoring
10.1007/978-3-030-88494-9_12,10108,ToHe,Differential monitoring
10.1145/3485504,10153,ToHe,Transitioning from structural to nominal code with efficient gradual typing
10.1007/978-3-030-88494-9_3,10206,ToHe,"Into the unknown: active monitoring of neural networks"
10.1111/cgf.14418,10404,ToHe,Interactive analysis of CNN robustness
null,10665,"GradSch,ToHe",Scalable verification of quantized neural networks
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,10668,"GradSch,ToHe",On-off center-surround receptive fields for accurate and robust image classification