Graph explorer

Research map

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

Differential Game Logic
Map detail
Differential Game Logic4 visible / 4 total nodes / 3 links

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

AuthorshipTopic signalTopic signalDifferential Game LogicWDifferential Game Logicpreprint / 2015André PlatzerAAndré PlatzerResearcherLogic in Computer ScienceTLogic in Computer Science2208 worksmath.LOTmath.LO1661 works
Paper3 links

Differential Game Logic

preprint / 2015