Search Results - "Wojtczak, Dominik"

Facility Reallocation on the Line by de Keijzer, Bart, Wojtczak, Dominik

“…We consider a multi-stage facility reallocation problems on the real line, where a facility is being moved between time stages based on the locations reported…”
Get full text

Satisfiability modulo theories and chiral heterotic string vacua with positive cosmological constant by Faraggi, Alon E., Percival, Benjamin, Schewe, Sven, Wojtczak, Dominik

“…We apply Boolean Satisfiability (SAT) and Satisfiability Modulo Theories (SMT) solvers in the context of finding chiral heterotic string models with positive…”
Get full text

A Recursive Approach to Solving Parity Games in Quasipolynomial Time by Lehtinen, Karoliina, Parys, Paweł, Schewe, Sven, Wojtczak, Dominik

“…Zielonka's classic recursive algorithm for solving parity games is perhaps the simplest among the many existing parity game algorithms. However, its complexity…”
Get full text

Open Problems in a Logic of Gossips by Apt, Krzysztof R., Wojtczak, Dominik

“…Gossip protocols are programs used in a setting in which each agent holds a secret and the aim is to reach a situation in which all agents know all secrets…”
Get full text

Decentralized multi-agent cooperation via adaptive partner modeling by Xu, Chenhang, Wang, Jia, Zhu, Xiaohui, Yue, Yong, Zhou, Weifeng, Liang, Zhixuan, Wojtczak, Dominik

“…Multi-agent reinforcement learning encounters a non-stationary challenge, where agents concurrently update their policies, leading to changes in the…”
Get full text

Common Knowledge in a Logic of Gossips by Apt, Krzysztof R., Wojtczak, Dominik

“…Gossip protocols aim at arriving, by means of point-to-point or group communications, at a situation in which all the agents know each other secrets. Recently…”
Get full text

The Complexity of Nash Equilibria in Stochastic Multiplayer Games by Ummels, Michael, Wojtczak, Dominik

“…We analyse the computational complexity of finding Nash equilibria in turn-based stochastic multiplayer games with omega-regular objectives. We show that…”
Get full text

Coordination Games on Directed Graphs by Apt, Krzysztof R., Simon, Sunil, Wojtczak, Dominik

“…We study natural strategic games on directed graphs, which capture the idea of coordination in the absence of globally common strategies. We show that these…”
Get full text

Making the Best of Limited Memory in Multi-Player Discounted Sum Games by Gupta, Anshul, Schewe, Sven, Wojtczak, Dominik

“…In this paper, we establish the existence of optimal bounded memory strategy profiles in multi-player discounted sum games. We introduce a non-deterministic…”
Get full text

Dive into machine learning algorithms for influenza virus host prediction with hemagglutinin sequences by Xu, Yanhua, Wojtczak, Dominik

“…Influenza viruses mutate rapidly and can pose a threat to public health, especially to those in vulnerable groups. Throughout history, influenza A viruses have…”
Get full text

Priority Promotion with Parysian flair by Benerecetti, Massimo, Dell'Erba, Daniele, Mogavero, Fabio, Schewe, Sven, Wojtczak, Dominik

“…We develop an algorithm that combines the advantages of Priority Promotion, that is one of the leading approaches to solving large parity games in practice,…”
Get full text

Verification of Distributed Epistemic Gossip Protocols by Apt, Krzysztof R., Wojtczak, Dominik

“…Gossip protocols aim at arriving, by means of point-to-point or group communications, at a situation in which all the agents know each other secrets…”
Get full text

Multi-objective ω-Regular Reinforcement Learning by Hahn, Ernst Moritz, Perez, Mateo, Schewe, Sven, Somenzi, Fabio, Trivedi, Ashutosh, Wojtczak, Dominik

“…The expanding role of reinforcement learning (RL) in safety-critical system design has promoted ω-automata as a way to express learning requirements—often…”
Get full text

An ordered approach to solving parity games in quasi-polynomial time and quasi-linear space by Fearnley, John, Jain, Sanjay, de Keijzer, Bart, Schewe, Sven, Stephan, Frank, Wojtczak, Dominik

“…Parity games play an important role in model checking and synthesis. In their paper, Calude et al. have recently shown that these games can be solved in…”
Get full text

Automated Analysis of Probabilistic Infinite-state Systems: Invited Tutorial at the 15th International Workshop on Verification of Infinite-State Systems by Wojtczak, Dominik

Get full text

MDPs with energy-parity objectives by Mayr, Richard, Schewe, Sven, Totzke, Patrick, Wojtczak, Dominik

“…Energy-parity objectives combine ω-regular with quantitative objectives of reward MDPs. The controller needs to avoid to run out of energy while satisfying a…”
Get full text

Quasi-Birth–Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems by Etessami, Kousha, Wojtczak, Dominik, Yannakakis, Mihalis

“…We begin by observing that (discrete-time) Quasi-Birth–Death Processes (QBDs) are equivalent, in a precise sense, to probabilistic 1-Counter Automata (p1CAs),…”
Get full text

MC-NN: An End-to-End Multi-Channel Neural Network Approach for Predicting Influenza A Virus Hosts and Antigenic Types by Xu, Yanhua, Wojtczak, Dominik

“…Influenza poses a significant threat to public health, particularly among the elderly, young children, and people with underlying dis-eases. The manifestation…”
Get full text

Predicting Influenza A Viral Host Using PSSM and Word Embeddings by Xu, Yanhua, Wojtczak, Dominik

“…2021 IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology (CIBCB) The rapid mutation of the influenza virus threatens…”
Get full text

Pros and cons of polypharmacy in elderly patients with diabetes by Wojtczak, Dominik, Kasznicki, Jacek, Drzewoski, Józef

Get full text