Hybrid Genetic Reinforcement Learning for Generating Run-Time Requirement Enforcers

Spieck J, Sixdenier PL, Esper K, Wildermann S, Teich J (2023)

Publication Type: Conference contribution, Conference Contribution

Publication year: 2023

Pages Range: 23-35

Conference Proceedings Title: 2023 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE)

Event location: Hamburg DE

ISBN: 979-8-4007-0318-8

DOI: 10.1145/3610579.3611091

Authors with CRIS profile

Jan Spieck Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design) Pierre-Louis Sixdenier Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design) Khalil Esper Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design) Stefan Wildermann Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design) Jürgen Teich Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)

How to cite

APA:

Spieck, J., Sixdenier, P.-L., Esper, K., Wildermann, S., & Teich, J. (2023). Hybrid Genetic Reinforcement Learning for Generating Run-Time Requirement Enforcers. In 2023 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE) (pp. 23-35). Hamburg, DE.

MLA:

Spieck, Jan, et al. "Hybrid Genetic Reinforcement Learning for Generating Run-Time Requirement Enforcers." Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE), Hamburg 2023. 23-35.

BibTeX: Download