Model Checking for Parametric Ordinary Differential Equations Systems

From MaRDI portal
Publication:6092950

DOI10.5705/ss.202020.0429arXiv2003.10844WikidataQ115159111 ScholiaQ115159111MaRDI QIDQ6092950

Ran Liu, Li Xing Zhu, Yun Fang

Publication date: 23 November 2023

Published in: Statistica Sinica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2003.10844







Cites Work




This page was built for publication: Model Checking for Parametric Ordinary Differential Equations Systems