_id,doi,title
13310,10.1007/978-3-031-37703-7_17,Monitoring algorithmic fairness
14076,10.1007/978-3-031-44267-4_9,Monitoring hyperproperties with prefix transducers
14242,10.1609/aaai.v37i12.26747,Quantization-aware interval bound propagation for training certifiably robust quantized neural networks
14243,10.1609/aaai.v37i5.25679,Bidding graph games with partially-observable budgets
12407,10.15479/AT:ISTA:12407,VAMOS: Middleware for Best-Effort Third-Party Monitoring
12467,10.1007/978-3-031-30829-1_17,Quantitative safety and liveness
12704,10.1109/LRA.2023.3240930,Revisiting the adversarial robustness-accuracy tradeoff in robot learning
12854,10.1007/978-3-031-30820-8_32,Bubaak: Runtime monitoring of program verifiers
12856,10.1007/978-3-031-30826-0_15,Vamos: Middleware for best-effort third-party monitoring
12876,10.1093/bioinformatics/btad158,Boolean network sketches: A unifying framework for logical model inference
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
11355,10.1007/978-3-030-99429-7_1,Information-flow interfaces
11362,10.15479/at:ista:11362,Learning verifiable representations
11366,10.48550/arXiv.2204.07373,Revisiting the adversarial robustness-accuracy tradeoff in robot learning
11775,10.1007/978-3-031-17196-3_11,Abstract monitors for quantitative specifications
14600,10.48550/ARXIV.2210.05308,Learning control policies for stochastic systems with reach-avoid guarantees
14601,10.48550/arXiv.2205.11991,Learning stabilizing policies in stochastic control systems
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