Sven Schewe
- Omega-Regular Objectives in Model-Free Reinforcement Learning
2018/09/26 by Ernst Moritz Hahn, Mateo Perez, Hahn, Ernst Moritz +9 · 7 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning (stat.ML)
- How does Weight Correlation Affect the Generalisation Ability of Deep Neural Networks
2020/10/12 by Gaojie Jin, Jin, Gaojie, Xinping Yi +9 · 5 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Generative Adversarial Networks and Image Synthesis #Machine Learning (cs.LG) #Machine Learning and Data Classification #Neural Networks and Applications
- Assessing the Reliability of Deep Learning Classifiers Through\n Robustness Evaluation and Operational Profiles
2021/06/02 by Xingyu Zhao, Zhao, Xingyu, Wei Huang +11 · 2 citations
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Software Reliability and Analysis Research #Radiation Effects in Electronics
- Bounded Satisfiability for PCTL
2012/03/30 by Nathalie Bertrand, John Fearnley, Bertrand, Nathalie +3 · 1 citation
Computer Science · #Formal Methods in Verification #Petri Nets in System Modeling #Advanced Software Engineering Methodologies
- Omega-Regular Reward Machines
2023/08/14 by Ernst Moritz Hahn, Hahn, Ernst Moritz, Mateo Perez +9 · 1 citation
Biochemistry, Genetics and Molecular Biology · Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning (cs.LG) #Receptor Mechanisms and Signaling #Reinforcement Learning in Robotics #Topic Modeling
- Generalised Reachability Games
2026/07/15 by Sougata Bose, Nathanael Fijalkow, Daniel Hausmann +4
#cs.GT