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)Semantic flowers for good-for-games and deterministic automata., , , and . Inf. Process. Lett., (March 2024)Deciding What is Good-for-MDPs., , and . CoRR, (2022)Eternally dominating large grids., , and . Theor. Comput. Sci., (2019)Reliability Assessment and Safety Arguments for Machine Learning Components in Assuring Learning-Enabled Autonomous Systems., , , , , , , , and . CoRR, (2021)Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features., , , , and . CoRR, (2021)Alternating Good-for-MDP Automata., , , , , 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)