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.

Sayan Mitra
SearchCollections
Map detail
Sayan Mitra13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipSayan MitraASayan MitraResearcherProving Abstractions of Dynamical Systems through Numerical SimulationsWProving Abstractions of...preprint / 2014Symmetry Abstractions for Hybrid Systems and their ApplicationsWSymmetry Abstractions f...preprint / 2020Bounded epsilon-Reach Set Computation of a Class of Deterministic and Transversal Linear Hybrid AutomataWBounded epsilon-Reach S...preprint / 2012Differentially Private Iterative Synchronous ConsensusWDifferentially Private ...preprint / 2012Differentially Private Distributed OptimizationWDifferentially Private ...preprint / 2014Bounded Verification with On-the-Fly Discrepancy ComputationWBounded Verification wi...preprint / 2015StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic SystemsWStarL: Towards a Unifie...preprint / 2015Safe and Stabilizing Distributed Multi-Path Cellular FlowsWSafe and Stabilizing Di...preprint / 2012Porting Code Across Simple Mobile RobotsWPorting Code Across Sim...preprint / 2016Multi-agent Motion Planning from Signal Temporal Logic SpecificationsWMulti-agent Motion Plan...preprint / 2022SceneChecker: Boosting Scenario Verification using Symmetry AbstractionsWSceneChecker: Boosting ...preprint / 2021Controller Synthesis for Linear Time-varying Systems with AdversariesWController Synthesis fo...preprint / 2015
Person12 links

Sayan Mitra

Researcher

PaperProving Abstractions of Dynamical Systems through Numerical SimulationsAuthorship / preprint / 2014PaperSymmetry Abstractions for Hybrid Systems and their ApplicationsAuthorship / preprint / 2020PaperBounded epsilon-Reach Set Computation of a Class of Deterministic and Transversal Linear Hybrid AutomataAuthorship / preprint / 2012PaperDifferentially Private Iterative Synchronous ConsensusAuthorship / preprint / 2012PaperDifferentially Private Distributed OptimizationAuthorship / preprint / 2014PaperBounded Verification with On-the-Fly Discrepancy ComputationAuthorship / preprint / 2015PaperStarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic SystemsAuthorship / preprint / 2015PaperSafe and Stabilizing Distributed Multi-Path Cellular FlowsAuthorship / preprint / 2012

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)