BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Sven Schewe
SearchCollections
Map detail
Sven Schewe18 visible / 18 total nodes / 37 links

Drag to move · Scroll or pinch to zoom · Select a node for details

Related contextCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalSven ScheweASven ScheweResearcherOptimal LTLf SynthesisWOptimal LTLf Synthesispreprint / 2026Yujian CaoAYujian CaoResearcherShufang ZhuAShufang ZhuResearcherQiyi TangAQiyi TangResearcherOn Good-for-MDPs AutomataWOn Good-for-MDPs Automatapreprint / 2025Minimising Good-for-Games automata is NP completeWMinimising Good-for-Gam...preprint / 2020Minimisation of Deterministic Parity and Buchi Automata and Relative Minimisation of Deterministic Finite AutomataWMinimisation of Determi...preprint / 2011Tight Bounds for Complementing Parity AutomataWTight Bounds for Comple...preprint / 2014Determinising Parity AutomataWDeterminising Parity Au...preprint / 2014Symmetric Strategy ImprovementWSymmetric Strategy Impr...preprint / 2015Artificial IntelligenceTArtificial Intelligence22915 worksLogic in Computer ScienceTLogic in Computer Science2208 worksSimple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNPWSimple Stochastic Games...preprint / 2021Practical Distributed Control SynthesisWPractical Distributed C...preprint / 2011Optimal Time-Abstract Schedulers for CTMDPs and Markov GamesWOptimal Time-Abstract S...preprint / 2010Proceedings First Workshop on SynthesisWProceedings First Works...preprint / 2012The benefit of law-making powerWThe benefit of law-maki...preprint / 2013
Person17 links

Sven Schewe

Researcher

PaperOptimal LTLf SynthesisAuthorship / preprint / 2026PersonYujian CaoCo-authorship / ResearcherPersonShufang ZhuCo-authorship / ResearcherPersonQiyi TangCo-authorship / ResearcherPaperOn Good-for-MDPs AutomataAuthorship / preprint / 2025PaperMinimising Good-for-Games automata is NP completeAuthorship / preprint / 2020PaperMinimisation of Deterministic Parity and Buchi Automata and Relative Minimisation of Deterministic Finite AutomataAuthorship / preprint / 2011PaperTight Bounds for Complementing Parity AutomataAuthorship / preprint / 2014

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)