Graph explorer

Research map

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

Ian Stark
Map detail
Ian Stark2 visible / 2 total nodes / 1 links

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

AuthorshipIan StarkAIan StarkResearcherTechnical Report: Property-Directed Verified Monitoring of Signal Temporal LogicWTechnical Report: Prope...preprint / 2020
Person1 links

Ian Stark

Researcher