_id,doi,title
12159,10.1111/mec.16793,On the origin and structure of haplotype blocks
12861,10.1038/s41467-023-37817-x,Quantitative assessment can stabilize indirect reciprocity under imperfect information
10774,10.1007/978-3-030-94583-1_1,Flavors of sequential information flow
10891,10.1007/978-3-030-95561-8_1,Quantitative monitoring of software
11362,10.15479/at:ista:11362,Learning verifiable representations
12010,10.1109/ICRA46639.2022.9811650,Latent imagination facilitates zero-shot transfer in autonomous racing
12147,10.1038/s42256-022-00556-7,Closed-form continuous-time neural networks
12510,10.1609/aaai.v36i6.20631,GoTube: Scalable statistical verification of continuous-depth models
10665,,Scalable verification of quantized neural networks
10666,10.1109/ICRA48506.2021.9561036,Adversarial training is not ready for robot learning
10667,10.48550/arXiv.2111.03165,Infinite time horizon safety of Bayesian neural networks
10668,,On-off center-surround receptive fields for accurate and robust image classification
10669,,On the verification of neural ODEs with stochastic guarantees
10670,,Causal navigation by continuous-time neural networks
10671,,Liquid time-constant networks
10674,10.23638/LMCS-17(1:10)2021,Determinacy in discrete-bidding infinite-duration games
10688,10.34727/2021/isbn.978-3-85448-046-4_23,The Civl verifier
10694,10.1137/1.9781611976465.38,Infinite-duration all-pay bidding games
8912,10.1016/j.eswa.2020.114203,Boosting expensive synchronizing heuristics
9200,10.1145/3447928.3456704,Synthesis of hybrid automata with affine dynamics from time-series data