Sign in

Model Reduction of Linear Stochastic Systems with Preservation of sc-LTL Specifications.

Maico Hendrikus Wilhelmus EngelaarLicio RomaoYulong GaoMircea LazarAlessandro AbateSofie Haesaert
Published in: CoRR (2023)
Keyphrases
  • probabilistic model
  • network model
  • stochastic systems
  • objective function
  • probability distribution