Formal Verification of Intelligent Cyber-Physical Systems with the Interactive Theorem Prover KeYmaera X

Herber Paula, Adelt Julius, Liebrenz Timm (2021)
In: Götz S, Linsbauer L, Schaefer I, Wortmann A (Hrsg.), Proceedings of the Software Engineering 2021 Satellite Events, Braunschweig/Virtual, Germany, February 22 - 26, 2021..
Art der Publikation: Forschungsartikel in Sammelband (Konferenz)

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

Adelt J, Liebrenz T, Herber P (2021)
In: Huisman M, Pasareanu C, Zhan N (Hrsg.), Formal Methods. Cham: .
Art der Publikation: Forschungsartikel in Sammelband (Konferenz)

Dependence Analysis and Automated Partitioning for Scalable Formal Analysis of SystemC Designs

Herber Paula, Liebrenz Timm (2020)
In: (Hrsg.), ACM/IEEE International Conference on Formal Methods and Models for System Design, (MEMOCODE 2020)..
Art der Publikation: Forschungsartikel in Sammelband (Konferenz)

Publikationen

Kontakt

Top-Links

Formal Verification of Intelligent Hybrid Systems that are modeled with Simulink and the Reinforcement Learning Toolbox Adelt J; Liebrenz T; Herber P (2023) In: Gregor Engels; Regina Hebig; Matthias Tichy (Hrsg.), Software Engineering. Paderborn: . Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
Formal Verification of Intelligent Cyber-Physical Systems with the Interactive Theorem Prover KeYmaera X Herber Paula, Adelt Julius, Liebrenz Timm (2021) In: Götz S, Linsbauer L, Schaefer I, Wortmann A (Hrsg.), Proceedings of the Software Engineering 2021 Satellite Events, Braunschweig/Virtual, Germany, February 22 - 26, 2021.. Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
Service-oriented decomposition and verification of hybrid system models using feature models and contracts Liebrenz T, Herber P, Glesner S (2021) In: Science of Computer Programming, 211 Art der Publikation: Forschungsartikel (Zeitschrift)
Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox Adelt J, Liebrenz T, Herber P (2021) In: Huisman M, Pasareanu C, Zhan N (Hrsg.), Formal Methods. Cham: . Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
Combining Forces: How to Formally Verify Informally Defined Embedded Systems Herber P, Liebrenz T, Adelt J (2021) In: Huisman M, Pasareanu C, Zhan N (Hrsg.), Formal Methods. Cham: . Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
Dependence Analysis and Automated Partitioning for Scalable Formal Analysis of SystemC Designs Herber Paula, Liebrenz Timm (2020) In: (Hrsg.), ACM/IEEE International Conference on Formal Methods and Models for System Design, (MEMOCODE 2020).. Art der Publikation: Forschungsartikel in Sammelband (Konferenz)