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