Author:
Bureš Tomáš,Gerostathopoulos Ilias,Hnětynka Petr,Pacovský Jan
Publisher
Springer International Publishing
Reference16 articles.
1. Lecture Notes in Computer Science;F Alkhabbas,2018
2. Lecture Notes in Computer Science;Y Abd Alrahman,2016
3. Lecture Notes in Computer Science;A Bartolini,2011
4. Bengio, Y., Lodi, A., Prouvost, A.: Machine learning for combinatorial optimization: a methodological tour d’Horizon.
arXiv: 1811.06128
[cs, stat], March 2020
5. Lecture Notes in Computer Science;A Bonfietti,2015
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning;2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE);2023-05
2. Generalization of Machine-Learning Adaptation in Ensemble-Based Self-adaptive Systems;Lecture Notes in Computer Science;2023
3. Attuning Adaptation Rules via a Rule-Specific Neural Network;Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning;2022
4. Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition;Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles;2020