vix.ing · top · new · best · stats · spec

Wojtczak, Dominik

  1. 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)
  2. 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
  3. 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)
  4. 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)
  5. 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
  6. 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)
  7. 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