SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks

por Češka, Milan, Chau, Calvin, Křetínský, Jan
Publicado 2020

Automata Tutor v3

por D’Antoni, Loris, Helfrich, Martin, Kretinsky, Jan, Ramneantu, Emanuel, Weininger, Maximilian
Publicado 2020

dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts

por Ashok, Pranav, Jackermeier, Mathias, Křetínský, Jan, Weinhuber, Christoph, Weininger, Maximilian, Yadav, Mayank
Publicado 2021