Login / Signup
Model Reduction of Linear Stochastic Systems with Preservation of sc-LTL Specifications.
Maico Hendrikus Wilhelmus Engelaar
Licio Romao
Yulong Gao
Mircea Lazar
Alessandro Abate
Sofie Haesaert
Published in:
CoRR (2023)
Keyphrases
</>
probabilistic model
network model
stochastic systems
objective function
probability distribution