Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

How does Weight Correlation Affect the Generalisation Ability of Deep Neural Networks., , , , , and . CoRR, (2020)Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features., , , , and . CoRR, (2021)Reliability Assessment and Safety Arguments for Machine Learning Components in Assuring Learning-Enabled Autonomous Systems., , , , , , , , and . CoRR, (2021)Alternating Good-for-MDP Automata., , , , , and . CoRR, (2022)Semantic flowers for good-for-games and deterministic automata., , , and . Inf. Process. Lett., (March 2024)Eternally dominating large grids., , and . Theor. Comput. Sci., (2019)Deciding What is Good-for-MDPs., , and . CoRR, (2022)Multi-objective ω-Regular Reinforcement Learning., , , , , and . Formal Aspects Comput., 35 (2): 12:1-12:24 (June 2023)A Novel Family of Finite Automata for Recognizing and Learning ømega-Regular Languages., , and . ATVA (1), volume 14215 of Lecture Notes in Computer Science, page 53-73. Springer, (2023)Alternating Good-for-MDPs Automata., , , , , and . ATVA, volume 13505 of Lecture Notes in Computer Science, page 303-319. Springer, (2022)