_id,doi,title
14830,10.1609/aaai.v37i10.26407,Learning control policies for stochastic systems with reach-avoid guarantees
12510,10.1609/aaai.v36i6.20631,GoTube: Scalable statistical verification of continuous-depth models
12511,10.1609/aaai.v36i7.20695,Stability verification in stochastic control systems via neural network supermartingales
12568,10.1609/aaai.v36i9.21222,Risk-aware stochastic shortest path
10665,,Scalable verification of quantized neural networks
10669,,On the verification of neural ODEs with stochastic guarantees
10671,,Liquid time-constant networks
11436,,Asynchronous optimization methods for efficient training of deep neural networks with guarantees
14186,10.1609/aaai.v34i09.7120,A commentary on the unsupervised learning of disentangled representations
9197,10.1609/aaai.v34i02.5546,All-pay bidding games on graphs