_id,doi,title
14405,10.4230/LIPIcs.CONCUR.2023.21,Hypernode automata
14454,10.1007/978-3-031-44267-4_15,Monitoring algorithmic fairness under partial observations
14559,10.1007/978-3-031-45329-8_17,"Learning provably stabilizing neural controllers for discrete-time stochastic systems"
14718,10.34727/2023/isbn.978-3-85448-060-0_20,Binary decision diagrams on modern hardware
14830,10.1609/aaai.v37i10.26407,Learning control policies for stochastic systems with reach-avoid guarantees
15023,,Compositional policy learning in stochastic control systems with formal guarantees
15035,10.5281/ZENODO.8191723,Monitoring hyperproperties with prefix transducers
13142,10.1007/978-3-031-30823-9_1,A learner-verifier framework for neural network controllers and certificates of stochastic systems
13221,10.4230/LIPIcs.CONCUR.2023.17,Safety and liveness of quantitative automata
13228,10.1145/3593013.3594028,Runtime monitoring of dynamic fairness properties
13234,10.1007/s10009-023-00711-4,Into the unknown: Active monitoring of neural networks (extended version)
13263,10.1093/bioinformatics/btad262,"Trap spaces of multi-valued networks: Definition, computation, and applications"
13292,10.4230/LIPIcs.ICALP.2023.129,Regular methods for operator precedence languages
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
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