DOI,IST REx ID,Research Group,Title of publication
null,20256,"ToHe,ChLa",Predictive monitoring of black-box dynamical systems
null,20296,"ChLa,ToHe",Logic gate neural networks are good for verification