Hybrid Genetic Reinforcement Learning for Generating Run-Time Requirement Enforcers-Reference-Cited by-同舟云学术

Hybrid Genetic Reinforcement Learning for Generating Run-Time Requirement Enforcers

Published:2023-09-21 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design
language:
Short-container-title:

Author:

Spieck Jan¹^ORCID,Sixdenier Pierre-Louis¹^ORCID,Esper Khalil¹^ORCID,Wildermann Stefan¹^ORCID,Teich Jürgen¹^ORCID

Affiliation:

1. Friedrich-Alexander-Universität Erlangen-Nürnberg, Erlangen, Bavaria, Germany

Funder

Deutsche Forschungsgemeinschaft (DFG, German Research Foundation)

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3610579.3611091

Reference50 articles.

1. Hypervolume-based multiobjective optimization: Theoretical foundations and practical implications

2. Christel Baier , Boudewijn R. Haverkort , Holger Hermanns , and Joost-Pieter Katoen . 2000 . On the Logical Characterisation of Performability Properties. In Automata, Languages and Programming , 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9--15, 2000, Proceedings (Lecture Notes in Computer Science , Vol. 1853). Springer, 780-- 792 . Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, and Joost-Pieter Katoen. 2000. On the Logical Characterisation of Performability Properties. In Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9--15, 2000, Proceedings (Lecture Notes in Computer Science, Vol. 1853). Springer, 780--792.

3. Statistical QoS Guarantee and Energy-Efficiency in Web Server Clusters

4. Machine learning for run-time energy optimisation in many-core systems

5. Roderick Bloem , Bettina Könighofer , Robert Könighofer , and Chao Wang . 2015 . Shield Synthesis. In International conference on tools and algorithms for the construction and analysis of systems. Springer, 533--548 . Roderick Bloem, Bettina Könighofer, Robert Könighofer, and Chao Wang. 2015. Shield Synthesis. In International conference on tools and algorithms for the construction and analysis of systems. Springer, 533--548.