Author:
Herber Paula,Liebrenz Timm,Adelt Julius
Publisher
Springer International Publishing
Reference54 articles.
1. Adelt, J., Liebrenz, T., Herber, P.: Formal verification of intelligent hybrid systems that are modeled with Simulink and the reinforcement learning toolbox. In: Huisman, M., et al. (eds.) FM 2021, LNCS 13047, pp. 349–366. Springer, Heidelberg (2021)
2. Araiza-Illan, D., Eder, K., Richards, A.: Formal verification of control systems’ properties with theorem proving. In: UKACC International Conference on Control (CONTROL), pp. 244–249. IEEE (2014)
3. Lecture Notes in Computer Science;G Behrmann,2004
4. Lecture Notes in Computer Science;D Beyer,2011
5. Lecture Notes in Computer Science;S Blom,2014
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献