DOI,IST REx ID,Research Group,Title of publication
10.1609/aaai.v36i7.20695,12511,"ToHe,KrCh",Stability verification in stochastic control systems via neural network supermartingales
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