Graph explorer

Research map

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

Cooperative Reactive Synthesis
Map detail
Cooperative Reactive Synthesis5 visible / 5 total nodes / 4 links

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

AuthorshipAuthorshipAuthorshipTopic signalCooperative Reactive SynthesisWCooperative Reactive Synthesispreprint / 2015Roderick BloemARoderick BloemResearcherRuediger EhlersARuediger EhlersResearcherRobert KoenighoferARobert KoenighoferResearcherLogic in Computer ScienceTLogic in Computer Science2208 works
Paper4 links

Cooperative Reactive Synthesis

preprint / 2015