_id,doi,title
9356,10.1109/LICS52264.2021.9470547,Quantitative and approximate monitoring
9647,10.1016/j.tcs.2021.05.023,Long lived transients in gene regulation
10108,10.1007/978-3-030-88494-9_12,Differential monitoring
10153,10.1145/3485504,Transitioning from structural to nominal code with efficient gradual typing
10206,10.1007/978-3-030-88494-9_3,"Into the unknown: active monitoring of neural networks"
10404,10.1111/cgf.14418,Interactive analysis of CNN robustness
9946,10.15479/AT:ISTA:9946,Differential monitoring
10672,,Learning representations for binary-classification without backpropagation
10673,,A natural lottery ticket winner: Reinforcement learning with ordinary neural circuits
10861,10.1007/s10009-020-00582-z,AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic
7808,10.1007/978-3-030-45237-7_5,How many bits does it take to quantize your neural network?
8012,10.1145/3385412.3385980,Inductive sequentialization of asynchronous programs
8194,10.1007/978-3-030-51074-9_2,An SMT theory of fixed-point arithmetic
8195,10.1007/978-3-030-53288-8_14,Refinement for structured concurrent programs
8287,,Reachability analysis of linear hybrid systems via block decomposition
8332,10.15479/AT:ISTA:8332,"Verifying concurrent programs: Refinement, synchronization, sequentialization"
8571,10.29007/zkf6,ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear dynamics
8572,10.29007/7dt2,ARCH-COMP20 Category Report: Continuous and hybrid systems with linear dynamics
8599,10.4230/LIPIcs.CONCUR.2020.2,A survey of bidding games on graphs
8600,10.4230/LIPIcs.CONCUR.2020.23,Multi-dimensional long-run average problems for vector addition systems with states