Seshia, Sanjit A.
- On the Utility of Learning about Humans for Human-AI Coordination
2019/10/13 by Micah Carroll, Carroll, Micah, Rohin Shah +11 · 74 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Human-Computer Interaction (cs.HC) #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Multi-Agent Systems and Negotiation #Reinforcement Learning in Robotics
- SOTER: A Runtime Assurance Framework for Programming Safe Robotics\n Systems
2018/08/23 by Desai Ankush, Ankush Desai, Shromona Ghosh +9 · 1 voice · 7 citations
Computer Science · Engineering · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Programming Languages (cs.PL) #Robotics (cs.RO) #Safety Systems Engineering in Autonomy #Software Engineering (cs.SE) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques #Systems and Control (eess.SY) #cs.AI #cs.PL #cs.RO #cs.SE #eess.SY #electronic engineering #information engineering
- Verified Code Transpilation with LLMs
2024/06/05 by Sahil Bhatia, Bhatia, Sahil, Jie Qiu +7 · 1 voice · 5 citations
Computer Science · #Natural Language Processing Techniques #Mathematics, Computing, and Information Processing #Digital Rights Management and Security
- Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis
2024/12/18 by Manish Shetty, Shetty, Manish, Naman Jain +7 · 1 voice · 11 citations
#cs.SE #cs.AI #cs.LG #cs.PL
- Scenic: A Language for Scenario Specification and Data Generation
2020/10/13 by Daniel J. Fremont, Edward Kim, Fremont, Daniel J. +11 · 11 citations
Engineering · Computer Science · #Autonomous Vehicle Technology and Safety #Software Testing and Debugging Techniques #Machine Learning and Data Classification
- A LiDAR Point Cloud Generator: from a Virtual World to Autonomous Driving
2018/03/31 by Yue, Xiangyu, Wu, Bichen, Seshia, Sanjit A. +2 · 8 citations
#Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences
- Compositional Falsification of Cyber-Physical Systems with Machine Learning Components
2017/03/02 by Dreossi, Tommaso, Donzé, Alexandre, Seshia, Sanjit A. · 7 citations
#FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Software Engineering (cs.SE) #Systems and Control (eess.SY) #electronic engineering #information engineering
- A Learning Based Approach to Control Synthesis of Markov Decision Processes for Linear Temporal Logic Specifications
2014/09/18 by Sadigh, Dorsa, Kim, Eric S., Coogan, Samuel +2 · 6 citations
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- Robust Online Monitoring of Signal Temporal Logic
2015/06/26 by Deshmukh, Jyotirmoy V., Donzé, Alexandre, Ghosh, Shromona +3 · 6 citations
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- A Review of Single-Source Deep Unsupervised Visual Domain Adaptation
2020/09/01 by Sicheng Zhao, Xiangyu Yue, Zhao, Sicheng +19 · 8 citations
Computer Science · #Computer Vision and Pattern Recognition (cs.CV) #Domain Adaptation and Few-Shot Learning #FOS: Computer and information sciences #FOS: Electrical engineering #Image and Video Processing (eess.IV) #Machine Learning (cs.LG) #Multimodal Machine Learning Applications #Video Surveillance and Tracking Methods #electronic engineering #information engineering
- Cloud-based Quadratic Optimization with Partially Homomorphic Encryption
2018/09/07 by Alexandru, Andreea B., Gatsis, Konstantinos, Shoukry, Yasser +3 · 5 citations
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Towards Verified Artificial Intelligence
2016/06/27 by Sanjit A. Seshia, Dorsa Sadigh, Seshia, Sanjit A. +3 · 1 voice · 1 citation
Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Software Testing and Debugging Techniques #cs.AI
- Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to\n the Real World
2020/03/17 by Daniel J. Fremont, Fremont, Daniel J., Edward Kim +17 · 4 citations
Computer Science · #D.2.4 #D.2.5 #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #I.2.9 #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Model-Driven Software Engineering Techniques #Software Engineering (cs.SE) #Software Testing and Debugging Techniques #Systems and Control (eess.SY) #electronic engineering #information engineering
- A Theory of Formal Synthesis via Inductive Learning
2015/05/15 by Susmit Jha, Sanjit A. Seshia, Jha, Susmit +1 · 3 citations
Computer Science · #Machine Learning and Algorithms #Software Engineering Research #Software Testing and Debugging Techniques
- LTL-Constrained Policy Optimization with Cycle Experience Replay
2024/04/17 by Ameesh Shah, Shah, Ameesh, Cameron Voloshin +9 · 7 citations
Computer Science · #Artificial Intelligence (cs.AI) #Constraint Satisfaction and Optimization #Error Correcting Code Techniques #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #I.2.4 #I.2.6 #Machine Learning (cs.LG)
- Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing\n System with VerifAI
2020/05/14 by Daniel J. Fremont, Johnathan Chiu, Fremont, Daniel J. +7 · 3 citations
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Autonomous Vehicle Technology and Safety #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Programming Languages (cs.PL) #Systems and Control (eess.SY) #electronic engineering #information engineering
- 3D Environment Modeling for Falsification and Beyond with Scenic 3.0
2023/07/06 by Eric Vin, Shun Kashiwa, Vin, Eric +17 · 4 citations
Computer Science · Decision Sciences · Engineering · #3D Modeling in Geospatial Applications #FOS: Computer and information sciences #Model-Driven Software Engineering Techniques #Programming Languages (cs.PL) #Simulation Techniques and Applications
- Counterexample-Guided Data Augmentation
2018/05/17 by Dreossi, Tommaso, Ghosh, Shromona, Yue, Xiangyu +3 · 2 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
- Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning
2024/10/31 by Beyazit Yalcinkaya, Niklas Lauffer, Yalcinkaya, Beyazit +5 · 7 citations
Computer Science · Engineering · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning (cs.LG) #Modular Robots and Swarm Intelligence #Optimization and Search Problems #Reinforcement Learning in Robotics
- Enforcing Almost-Sure Reachability in POMDPs
2020/06/30 by Junges, Sebastian, Jansen, Nils, Seshia, Sanjit A. · 2 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Systematic Testing of Convolutional Neural Networks for Autonomous\n Driving
2017/08/10 by Tommaso Dreossi, Dreossi, Tommaso, Shromona Ghosh +5 · 3 citations
Computer Science · Engineering · #Advanced Neural Network Applications #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Artificial Intelligence (cs.AI) #Autonomous Vehicle Technology and Safety #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences
- Distribution-Aware Sampling and Weighted Model Counting for SAT
2014/04/11 by Chakraborty, Supratik, Fremont, Daniel J., Meel, Kuldeep S. +2 · 1 citation
#Artificial Intelligence (cs.AI) #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences
- Secure State Estimation For Cyber Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach
2014/12/14 by Shoukry, Yasser, Nuzzo, Pierluigi, Puggelli, Alberto +3 · 1 citation
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Information Theory (cs.IT) #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages
2024/06/05 by Federico Mora, Justin Wong, Mora, Federico +15 · 3 citations
Computer Science · #Distributed and Parallel Computing Systems #Embedded Systems Design Techniques #FOS: Computer and information sciences #Machine Learning (cs.LG) #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL)
- Semantic Adversarial Deep Learning
2018/04/19 by Dreossi, Tommaso, Jha, Somesh, Seshia, Sanjit A. · 1 citation
#FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
- L^*LM: Learning Automata from Examples using Natural Language Oracles
2024/02/10 by Marcell Vazquez-Chanlatte, Vazquez-Chanlatte, Marcell, Karim Elmaaroufi +5 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning (cs.LG) #Machine Learning and Algorithms #Natural Language Processing Techniques #semigroups and automata theory
- A Formalization of Robustness for Deep Neural Networks
2019/03/24 by Dreossi, Tommaso, Ghosh, Shromona, Sangiovanni-Vincentelli, Alberto +1 · 1 citation
#FOS: Computer and information sciences #Machine Learning (cs.LG)
- Understanding and Extending Incremental Determinization for 2QBF
2019/05/31 by Rabe, Markus N., Tentrup, Leander, Rasmussen, Cameron +1 · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
- VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems
2019/02/12 by Dreossi, Tommaso, Fremont, Daniel J., Ghosh, Shromona +4 · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
- A Model Counter's Guide to Probabilistic Systems
2019/03/22 by Marcell Vazquez-Chanlatte, Vazquez-Chanlatte, Marcell, Markus N. Rabe +3 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning and Algorithms
- ScenicNL: Generating Probabilistic Scenario Programs from Natural Language
2024/05/03 by Elmaaroufi, Karim, Shanker, Devan, Cismaru, Ana +4 · 2 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Software Engineering (cs.SE)
- Model Checking Finite-Horizon Markov Chains with Probabilistic Inference
2021/05/26 by Holtzen, Steven, Junges, Sebastian, Vazquez-Chanlatte, Marcell +3 · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation
2021/10/28 by Indaheng, Francis, Kim, Edward, Viswanadha, Kesav +4 · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
- SimpleStrat: Diversifying Language Model Generation with Stratification
2024/10/11 by Wong, Justin, Orlovskiy, Yury, Luo, Michael +2 · 2 citations
#Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences
- Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations
2022/05/25 by Lauffer, Niklas, Yalcinkaya, Beyazit, Vazquez-Chanlatte, Marcell +2 · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)
- Learning Symbolic Task Decompositions for Multi-Agent Teams
2025/02/19 by Ameesh Shah, Shah, Ameesh, Niklas Lauffer +7 · 3 citations
Computer Science · #Artificial Intelligence (cs.AI) #F.2.2 #FOS: Computer and information sciences #Machine Learning (cs.LG) #Multi-Agent Systems and Negotiation #Multiagent Systems (cs.MA)
- Verifying RISC-V Physical Memory Protection
2022/11/03 by Kevin Cheang, Cameron Rasmussen, Cheang, Kevin +9 · 1 citation
Computer Science · Engineering · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Physical Unclonable Functions (PUFs) and Hardware Security #Radiation Effects in Electronics #Security and Verification in Computing
- Learning Task Specifications from Demonstrations
2017/10/11 by Marcell Vazquez-Chanlatte, Vazquez-Chanlatte, Marcell, Susmit Jha +7 · 1 citation
Computer Science · #Advanced Malware Detection Techniques #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning and Algorithms
- Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learning
2025/03/06 by Yalcinkaya, Beyazit, Lauffer, Niklas, Vazquez-Chanlatte, Marcell +1 · 3 citations
#Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning (cs.LG)
- Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations (Extended Version)
2024/04/28 by Qiu, Jie, Cai, Colin, Bhatia, Sahil +3 · 1 citation
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Synthesizing Pareto-Optimal Interpretations for Black-Box Models
2021/08/16 by Torfah, Hazem, Shah, Shetal, Chakraborty, Supratik +2 · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
- GRAID: Enhancing Spatial Reasoning of VLMs Through High-Fidelity Data Generation
2025/10/25 by Elmaaroufi, Karim, Lai, Liheng, Svegliato, Justin +3 · 1 citation
#Artificial Intelligence (cs.AI) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences