DOI,IST REx ID,Research Group,Title of publication
10.1609/aaai.v39i15.33719,19665,ToHe,Fairness shields: Safeguarding against biased decision makers
10.1609/aaai.v39i25.34865,19666,KrCh,"Solving robust Markov decision processes: Generic, reliable, efficient"
10.1609/aaai.v39i11.33213,19667,KrCh,Quantified linear and polynomial arithmetic satisfiability via template-based skolemization
10.1609/aaai.v39i25.34840,19668,ToHe,Neural control and certificate repair via runtime monitoring
10.1609/aaai.v39i11.33212,19669,KrCh,Linear equations with min and max operators: Computational complexity
10.1609/aaai.v39i19.34290,19713,DaAl,Hybrid decentralized optimization: Leveraging both first- and zeroth-order optimizers for faster convergence
10.1609/aaai.v38i9.28943,15321,ToHe,Scalable enumeration of trap spaces in boolean networks via answer set programming
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.v36i9.21222,12568,KrCh,Risk-aware stochastic shortest path
10.1609/aaai.v36i7.20695,12511,"ToHe,KrCh",Stability verification in stochastic control systems via neural network supermartingales
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
null,10665,"GradSch,ToHe",Scalable verification of quantized neural networks
10.1609/aaai.v34i09.7120,14186,FrLo,A commentary on the unsupervised learning of disentangled representations
10.1609/aaai.v34i02.5546,9197,"ToHe,KrCh",All-pay bidding games on graphs