TY  - RPRT
TI  - Abstracting Linear Stochastic Systems via Knowledge Filtering
AU  - Maico Hendrikus Wilhelmus Engelaar
AU  - Licio Romao
AU  - Yulong Gao
AU  - Mircea Lazar
AU  - Alessandro Abate
AU  - Sofie Haesaert
PY  - 2023
UR  - https://arxiv.org/abs/2304.05770
ID  - 2304.05770
ER  -