Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox-Reference-Cited by-同舟云学术

Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox

Published:2021 Issue: Volume: Page:349-366
ISSN:0302-9743
Container-title:Formal Methods
language:
Short-container-title:

Author:

Adelt Julius,Liebrenz Timm,Herber Paula

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-90870-6_19

Reference24 articles.

1. Alshiekh, M., Bloem, R., Ehlers, R., Könighofer, B., Niekum, S., Topcu, U.: Safe reinforcement learning via shielding. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol. 32 (2018)

2. Araiza-Illan, D., Eder, K., Richards, A.: Formal verification of control systems properties with theorem proving. In: 2014 UKACC International Conference on Control, CONTROL 2014 - Proceedings, pp. 244–249. IEEE (2014)

3. Lecture Notes in Computer Science;P Ashok,2019

4. Lecture Notes in Computer Science;M Barnett,2006

5. Chutinan, A., Krogh, B.H.: Computational techniques for hybrid system verification. IEEE Trans. Autom. Control 48(1), 64–75 (2003)

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Reusable Specification Patterns for Verification of Resilience in Autonomous Hybrid Systems;Lecture Notes in Computer Science;2024-09-13

2. Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink;Bridging the Gap Between AI and Reality;2023-12-14

3. Solar Panel Cleaning System Using Smart Hybrid Embedded Systems with IoT Assistance;Electric Power Components and Systems;2023-11-06

4. Safe Integration of Learning in SystemC using Timed Contracts and Model Checking;Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design;2023-09-21

5. Formal Development of Safe Automated Driving Using Differential Dynamic Logic;IEEE Transactions on Intelligent Vehicles;2023-01