Attuning Adaptation Rules via a Rule-Specific Neural Network

Tomás Bures, Petr Hnetynka, Martin Krulis, Frantisek Plásil, Danylo Khalyeyev, Sebastian Hahner, Stephan Seifermann, Maximilian Walter, Robert Heinrich. Attuning Adaptation Rules via a Rule-Specific Neural Network. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III. Volume 13703 of Lecture Notes in Computer Science, pages 215-230, Springer, 2022. [doi]

Authors

Tomás Bures

This author has not been identified. Look up 'Tomás Bures' in Google

Petr Hnetynka

This author has not been identified. Look up 'Petr Hnetynka' in Google

Martin Krulis

This author has not been identified. Look up 'Martin Krulis' in Google

Frantisek Plásil

This author has not been identified. Look up 'Frantisek Plásil' in Google

Danylo Khalyeyev

This author has not been identified. Look up 'Danylo Khalyeyev' in Google

Sebastian Hahner

This author has not been identified. Look up 'Sebastian Hahner' in Google

Stephan Seifermann

This author has not been identified. Look up 'Stephan Seifermann' in Google

Maximilian Walter

This author has not been identified. Look up 'Maximilian Walter' in Google

Robert Heinrich

This author has not been identified. Look up 'Robert Heinrich' in Google