Search Results - "Schewe, Sven"

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

Smaller progress measures and separating automata for parity games by Dell'Erba, Daniele, Schewe, Sven

“…Calude et al. have recently shown that parity games can be solved in quasi-polynomial time, a landmark result that has led to several approaches with…”
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

Rapid Recovery for Systems with Scarce Faults by Huang, Chung-Hao, Peled, Doron, Schewe, Sven, Wang, Farn

“…Our goal is to achieve a high degree of fault tolerance through the control of a safety critical systems. This reduces to solving a game between a malicious…”
Get full text

Buying optimal payoffs in bi-matrix games by Gupta, Anshul, Schewe, Sven

“…We consider non-zero sum bi-matrix games where one player presumes the role of a leader in the Stackelberg model, while the other player is her follower. We…”
Get full text

Parity Games with Weights by Sven Schewe, Alexander Weinert, Martin Zimmermann

“…Quantitative extensions of parity games have recently attracted significant interest. These extensions include parity games with energy and payoff conditions…”
Get full text

CTL synthesis via LTL synthesis by Bloem, Roderick, Schewe, Sven, Khalimov, Ayrat

“…We reduce synthesis for CTL* properties to synthesis for LTL. In the context of model checking this is impossible — CTL* is more expressive than LTL. Yet, in…”
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

Solving parity games in big steps by Schewe, Sven

“…This article proposes a new algorithm that improves the complexity bound for solving parity games. Our approach combines McNaughton's iterated fixed point…”
Get full text

Time and Parallelizability Results for Parity Games with Bounded Tree and DAG Width by Fearnley, John, Schewe, Sven

“…Parity games are a much researched class of games in NP intersect CoNP that are not known to be in P. Consequently, researchers have considered specialised…”
Get full text

Bounded synthesis by Finkbeiner, Bernd, Schewe, Sven

“…A fundamental challenge in the synthesis of reactive systems is the size of the search space: the number of candidate implementations of a temporal…”
Get full text

Practical Distributed Control Synthesis by Peled, Doron, Schewe, Sven

“…Classic distributed control problems have an interesting dichotomy: they are either trivial or undecidable. If we allow the controllers to fully synchronize,…”
Get full text

Optimal Time-Abstract Schedulers for CTMDPs and Markov Games by Rabe, Markus, Schewe, Sven

“…We study time-bounded reachability in continuous-time Markov decision processes for time-abstract scheduler classes. Such reachability problems play a…”
Get full text

Editorial – Special issue on Concurrency Theory (CONCUR 2018) by Schewe, Sven, Zhang, Lijun

Get full text

Singly exponential translation of alternating weak Büchi automata to unambiguous Büchi automata by Li, Yong, Schewe, Sven, Vardi, Moshe Y.

“…We introduce a method for translating an alternating weak Büchi automaton (AWA), which corresponds to a Linear Dynamic Logic (LDL) formula, to an unambiguous…”
Get full text

Distributed synthesis is simply undecidable by Schewe, Sven

“…The distributed synthesis problem of safety and reachability languages is known to be undecidable. In this article, we establish that this is the case for very…”
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

Fast two-robot disk evacuation with wireless communication by Lamprou, Ioannis, Martin, Russell, Schewe, Sven

“…In the fast evacuation problem, we study the path planning problem for two robots who want to minimize the worst-case evacuation time on the unit disk, that…”
Get full text

Semantic flowers for good-for-games and deterministic automata by Dell'Erba, Daniele, Schewe, Sven, Tang, Qiyi, Zhanabekova, Tansholpan

“…We present an innovative approach for capturing the complexity of ω-regular languages using the concept of flowers. This semantic tool combines two…”
Get full text

Hydrogen permeation and embrittlement behavior of ferritic SOEC/SOFC interconnect candidates by Kniep, David, Schewe, Sven, Rudolphi, Mario, Galetz, Mathias

“…This study investigates the mechanical properties of four chemically similar ferritic stainless steels, while exposed to hydrogen in order to assess their…”
Get full text