Graph explorer

Research map

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

Souymodip Chakraborty
Map detail
Souymodip Chakraborty3 visible / 3 total nodes / 2 links

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

AuthorshipAuthorshipSouymodip ChakrabortyASouymodip ChakrabortyResearcherParametric LTL on Markov ChainsWParametric LTL on Marko...preprint / 2014On the Hardness of PCTL SatisfiabilityWOn the Hardness of PCTL...preprint / 2015
Person2 links

Souymodip Chakraborty

Researcher