BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

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

Rupak Majumdar
SearchCollections
Map detail
Rupak Majumdar13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipRupak MajumdarARupak MajumdarResearcherGeneralising Projection in Asynchronous Multiparty Session TypesWGeneralising Projection...preprint / 2022Paracosm: A Language and Tool for Testing Autonomous Driving SystemsWParacosm: A Language an...preprint / 2021On Decidability of Time-bounded Reachability in CTMDPsWOn Decidability of Time...preprint / 2020Symbolic Controller Synthesis for Büchi Specifications on Stochastic SystemsWSymbolic Controller Syn...preprint / 2020On Abstraction-Based Controller Design With Output FeedbackWOn Abstraction-Based Co...preprint / 2020Synthesis of Minimal Error Control SoftwareWSynthesis of Minimal Er...preprint / 2012A theory of robust software synthesisWA theory of robust soft...preprint / 2011Computing the Skorokhod Distance between Polygonal Traces (Full Paper)WComputing the Skorokhod...preprint / 2014Computing Distances between Reach FlowpipesWComputing Distances bet...preprint / 2016Reachability in Bidirected Pushdown VASSWReachability in Bidirec...preprint / 2022Bayesian Persuasion in Sequential Decision-MakingWBayesian Persuasion in ...preprint / 2022The complexity of bidirected reachability in valence systemsWThe complexity of bidir...preprint / 2022
Person12 links

Rupak Majumdar

Researcher

PaperGeneralising Projection in Asynchronous Multiparty Session TypesAuthorship / preprint / 2022PaperParacosm: A Language and Tool for Testing Autonomous Driving SystemsAuthorship / preprint / 2021PaperOn Decidability of Time-bounded Reachability in CTMDPsAuthorship / preprint / 2020PaperSymbolic Controller Synthesis for Büchi Specifications on Stochastic SystemsAuthorship / preprint / 2020PaperOn Abstraction-Based Controller Design With Output FeedbackAuthorship / preprint / 2020PaperSynthesis of Minimal Error Control SoftwareAuthorship / preprint / 2012PaperA theory of robust software synthesisAuthorship / preprint / 2011PaperComputing the Skorokhod Distance between Polygonal Traces (Full Paper)Authorship / preprint / 2014

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)