Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
6 links
Sadra Sadraddini
Researcher
PaperA Provably Correct MPC Approach to Safety Control of Urban Traffic NetworksAuthorship / preprint / 2016PaperRobust Temporal Logic Model Predictive ControlAuthorship / preprint / 2015PaperDecentralized Signal Temporal Logic Control for Perturbed Interconnected Systems via Assume-Guarantee Contract OptimizationAuthorship / preprint / 2022PaperCompositional Synthesis for Linear Systems via Convex Optimization of Assume-Guarantee ContractsAuthorship / preprint / 2022PaperCompositional Synthesis via a Convex Parameterization of Assume-Guarantee ContractsAuthorship / preprint / 2020PaperRobotic Swarm Control from Spatio-Temporal SpecificationsAuthorship / preprint / 2016