Wojtczak, Dominik
- 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)
- On Strong NP-Completeness of Rational Problems
2018/02/26 by Wojtczak, Dominik · 3 citations
#Artificial Intelligence (cs.AI) #Computational Complexity (cs.CC) #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences
- Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning
2019/09/11 by Hahn, Ernst Moritz, Perez, Mateo, Somenzi, Fabio +3 · 2 citations
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)
- An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space
2017/03/03 by Fearnley, John, Jain, Sanjay, Schewe, Sven +2 · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Facility Reallocation on the Line
2021/03/23 by de Keijzer, Bart, Wojtczak, Dominik · 1 citation
#Artificial Intelligence (cs.AI) #Computer Science and Game Theory (cs.GT) #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences
- Dive into Machine Learning Algorithms for Influenza Virus Host Prediction with Hemagglutinin Sequences
2022/07/28 by Xu, Yanhua, Wojtczak, Dominik · 1 citation
#FOS: Computer and information sciences #Machine Learning (cs.LG)
- 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