Graph explorer

Research map

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

Patrick Klampfl
Map detail
Patrick Klampfl2 visible / 2 total nodes / 1 links

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

AuthorshipPatrick KlampflAPatrick KlampflResearcherSatisfiability-Based Methods for Reactive Synthesis from Safety SpecificationsWSatisfiability-Based Me...preprint / 2016
Person1 links

Patrick Klampfl

Researcher