The following pages link to Sven Schewe (Q259050):
Displaying 39 items.
- Efficient approximation of optimal control for continuous-time Markov games (Q259052) (← links)
- Solving parity games in big steps (Q340584) (← links)
- Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games (Q766176) (← links)
- Model-free reinforcement learning for branching Markov decision processes (Q832301) (← links)
- Controlling loosely cooperating processes (Q896910) (← links)
- Buying optimal payoffs in bi-matrix games (Q1630445) (← links)
- Model-checking iterated games (Q1674862) (← links)
- Optimal control for multi-mode systems with discrete costs (Q1683440) (← links)
- Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games (Q1935779) (← links)
- Maximum rooted connected expansion (Q2034397) (← links)
- \( \omega \)-automata (Q2074208) (← links)
- Simple stochastic games with almost-sure energy-parity objectives are in NP and conp (Q2233425) (← links)
- Satisfiability modulo theories and chiral heterotic string vacua with positive cosmological constant (Q2233841) (← links)
- Editorial: Special issue on synthesis (Q2249656) (← links)
- Complementing semi-deterministic Büchi automata (Q2272937) (← links)
- Eternally dominating large grids (Q2328863) (← links)
- Complexity of node coverage games (Q2344734) (← links)
- Synthesis of succinct systems (Q2353397) (← links)
- Distributed synthesis is simply undecidable (Q2445907) (← links)
- Unlimited Decidability of Distributed Synthesis with Limited Missing Knowledge (Q2849954) (← links)
- Beyond Hyper-Minimisation--Minimising DBAs and DPAs is NP-Complete (Q2908870) (← links)
- Efficient Approximation of Optimal Control for Markov Games (Q2911641) (← links)
- Determinising Parity Automata (Q2922042) (← links)
- Tight Bounds for Complementing Parity Automata (Q2922043) (← links)
- Knowledge = Observation + Memory + Computation (Q2949441) (← links)
- Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games (Q2961570) (← links)
- Bounded-rate multi-mode systems based motion planning (Q2988914) (← links)
- Time and Parallelizability Results for Parity Games with Bounded Treewidth (Q3167011) (← links)
- The Buck Stops Here: Order, Chance, and Coordination in Distributed Control (Q3172930) (← links)
- From Parity and Payoff Games to Linear Programming (Q3182965) (← links)
- Learning to Complement Büchi Automata (Q3296336) (← links)
- SEMI-AUTOMATIC DISTRIBUTED SYNTHESIS (Q3426790) (← links)
- Bounded Satisfiability for PCTL (Q4649540) (← links)
- (Q5005125) (← links)
- (Q5079761) (← links)
- Model-Free Reinforcement Learning for Stochastic Parity Games (Q5089286) (← links)
- Lazy probabilistic model checking without determinisation (Q5357715) (← links)
- Büchi Complementation Made Tight (Q5390016) (← links)
- Semantic flowers for good-for-games and deterministic automata (Q6195342) (← links)
