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.

Rüdiger Ehlers
SearchCollections
Map detail
Rüdiger Ehlers12 visible / 12 total nodes / 11 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipRüdiger EhlersARüdiger EhlersResearcherReactive SafetyWReactive Safetypreprint / 2011Experimental Aspects of SynthesisWExperimental Aspects of...preprint / 2011Sparse Positional Strategies for Safety GamesWSparse Positional Strat...preprint / 2012Low-Effort Specification Debugging and AnalysisWLow-Effort Specificatio...preprint / 2014Playing Against Opponents With Limited MemoryWPlaying Against Opponen...preprint / 2020Proceedings 3rd Workshop on SynthesisWProceedings 3rd Worksho...preprint / 2014How to Handle Assumptions in SynthesisWHow to Handle Assumptio...preprint / 2014Path-Based Program RepairWPath-Based Program Repairpreprint / 2015Correct-by-Construction Runtime Enforcement in AI -- A SurveyWCorrect-by-Construction...preprint / 2022Safe Multi-Agent Reinforcement Learning via ShieldingWSafe Multi-Agent Reinfo...preprint / 2021The First Reactive Synthesis Competition (SYNTCOMP 2014)WThe First Reactive Synt...preprint / 2016
Person11 links

Rüdiger Ehlers

Researcher

PaperReactive SafetyAuthorship / preprint / 2011PaperExperimental Aspects of SynthesisAuthorship / preprint / 2011PaperSparse Positional Strategies for Safety GamesAuthorship / preprint / 2012PaperLow-Effort Specification Debugging and AnalysisAuthorship / preprint / 2014PaperPlaying Against Opponents With Limited MemoryAuthorship / preprint / 2020PaperProceedings 3rd Workshop on SynthesisAuthorship / preprint / 2014PaperHow to Handle Assumptions in SynthesisAuthorship / preprint / 2014PaperPath-Based Program RepairAuthorship / preprint / 2015

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)