Publication in QEST 2020
Dennis Repin, Tatjana Petrov and Huy Phung: StochNetV2: a tool for automated deep abstractions for stochastic reaction networks
The paper "StochNetV2: a tool for automated deep abstractions for stochastic reaction networks" is accepted by the 17th International Conference on Quantitative Evaluation of Systems [QEST 2020]
Congratulations to Dennis Repin and Tatjana Petrov.