Mitra, Sayan
- Differentially Private Distributed Optimization
2014/01/12 by Zhenqi Huang, Huang, Zhenqi, Sayan Mitra +3 · 9 citations
Computer Science · #Privacy-Preserving Technologies in Data #Stochastic Gradient Optimization Techniques #Distributed Control Multi-Agent Systems
- Multi-agent Motion Planning from Signal Temporal Logic Specifications
2022/01/13 by Dawei Sun, Jingkai Chen, Sun, Dawei +5 · 9 citations
Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Multiagent Systems (cs.MA) #Robotics (cs.RO) #Software Testing and Debugging Techniques #Systems and Control (eess.SY) #electronic engineering #information engineering
- DRYVR:Data-driven verification and compositional reasoning for automotive systems
2017/02/22 by Fan, Chuchu, Qi, Bolun, Mitra, Sayan +1 · 2 citations
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- ChatGPT in the Classroom: An Analysis of Its Strengths and Weaknesses for Solving Undergraduate Computer Science Questions
2023/04/28 by Ishika Joshi, Joshi, Ishika, Ritvik Budhiraja +13 · 3 citations
Computer Science · Medicine · #Artificial Intelligence (cs.AI) #Artificial Intelligence in Healthcare and Education #Computers and Society (cs.CY) #FOS: Computer and information sciences #Human-Computer Interaction (cs.HC) #Online Learning and Analytics #Topic Modeling
- Assuring Safety of Vision-Based Swarm Formation Control
2022/10/03 by Hsieh, Chiao, Koh, Yubin, Li, Yangge +1 · 2 citations
#FOS: Computer and information sciences #Multiagent Systems (cs.MA) #Robotics (cs.RO) #Software Engineering (cs.SE)
- Differentially Private Iterative Synchronous Consensus
2012/07/18 by Zhenqi Huang, Huang, Zhenqi, Sayan Mitra +3 · 1 citation
Computer Science · #Cryptography and Data Security #Cryptography and Security (cs.CR) #Distributed #Distributed Control Multi-Agent Systems #FOS: Computer and information sciences #FOS: Electrical engineering #Parallel #Security in Wireless Sensor Networks #Systems and Control (eess.SY) #and Cluster Computing (cs.DC) #electronic engineering #information engineering
- Verifying safety of an autonomous spacecraft rendezvous mission
2017/03/20 by Chan, Nicole, Mitra, Sayan · 1 citation
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- Multi-Agent Safety Verification using Symmetry Transformations
2019/11/01 by Hussein Sibai, Navid Mokhlesi, Sibai, Hussein +5 · 1 citation
Computer Science · Engineering · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Safety Systems Engineering in Autonomy #Software Testing and Debugging Techniques #Symbolic Computation (cs.SC) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Differentially Private Algorithms for Statistical Verification of Cyber-Physical Systems
2020/04/01 by Wang, Yu, Sibai, Hussein, Yen, Mark +2 · 1 citation
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
- From Dashcam Videos to Driving Simulations: Stress Testing Automated Vehicles against Rare Events
2024/11/25 by Miao, Yan, Fainekos, Georgios, Hoxha, Bardh +3 · 2 citations
#Artificial Intelligence (cs.AI) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences
- Verse: A Python library for reasoning about multi-agent hybrid system scenarios
2023/01/20 by Li, Yangge, Zhu, Haoqing, Braught, Katherine +2 · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Multiagent Systems (cs.MA) #Software Engineering (cs.SE)
- Learning-based Inverse Perception Contracts and Applications
2023/09/24 by Sun, Dawei, Yang, Benjamin C., Mitra, Sayan · 1 citation
#FOS: Computer and information sciences #FOS: Electrical engineering #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering