Attuning Adaptation Rules via a Rule-Specific Neural Network

Autor: Tomáš Bureš, Petr Hnětynka, Martin Kruliš, František Plášil, Danylo Khalyeyev, Sebastian Hahner, Stephan Seifermann, Maximilian Walter, Robert Heinrich
Rok vydání: 2022
Zdroj: Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning ISBN: 9783031197581
Databáze: OpenAIRE