Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSanjit A. Seshia
Sanjit Seshia
Person information
- affiliation: University of California, Berkeley, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j36]Daniel J. Fremont
, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Scenic: a language for scenario specification and data generation. Mach. Learn. 112(10): 3805-3849 (2023)- [c193]Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
3D Environment Modeling for Falsification and Beyond with Scenic 3.0. CAV (1) 2023: 253-265 - [c192]Sheng-Jung Yu, Inigo Incer, Valmik Prabhu, Anwesha Chattoraj, Eric Vin, Daniel J. Fremont, Ankur Mehta, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry, Sanjit A. Seshia:
Symbiotic CPS Design-Space Exploration through Iterated Optimization. CPS-IoT Week Workshops 2023: 92-99 - [c191]Sahil Bhatia, Sumer Kohli, Sanjit A. Seshia, Alvin Cheung:
Building Code Transpilers for Domain-Specific Languages Using Program Synthesis (Experience Paper). ECOOP 2023: 38:1-38:30 - [i95]Piergiuseppe Mallozzi, Hussein Sibai, Inigo Incer, Sanjit A. Seshia, Alberto L. Sangiovanni-Vincentelli:
A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies. CoRR abs/2302.13980 (2023) - [i94]Ameesh Shah, Jonathan A. DeCastro, John Gideon, Beyazit Yalcinkaya, Guy Rosman, Sanjit A. Seshia:
Specification-Guided Data Aggregation for Semantically Aware Imitation Learning. CoRR abs/2303.17010 (2023) - [i93]Inigo Incer, Apurva Badithela, Josefine Graebener, Piergiuseppe Mallozzi, Ayush Pandey, Sheng-Jung Yu, Albert Benveniste, Benoît Caillaud, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design. CoRR abs/2303.17751 (2023) - [i92]Inigo Incer, Albert Benveniste, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Context-Aided Variable Elimination for Requirement Engineering. CoRR abs/2305.17596 (2023) - [i91]Yixuan Li, Federico Mora, Elizabeth Polgreen, Sanjit A. Seshia:
Genetic Algorithms for Searching a Matrix of Metagrammars for Synthesis. CoRR abs/2306.00521 (2023) - [i90]Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
3D Environment Modeling for Falsification and Beyond with Scenic 3.0. CoRR abs/2307.03325 (2023) - [i89]Ameesh Shah, Marcell Vazquez-Chanlatte, Sebastian Junges, Sanjit A. Seshia:
Learning Formal Specifications from Membership and Preference Queries. CoRR abs/2307.10434 (2023) - 2022
- [j35]Sanjit A. Seshia:
Explorations in cyber-physical systems education. Commun. ACM 65(5): 60-69 (2022) - [j34]Sanjit A. Seshia, Dorsa Sadigh, S. Shankar Sastry:
Toward verified artificial intelligence. Commun. ACM 65(7): 46-55 (2022) - [j33]Sicheng Zhao, Xiangyu Yue, Shanghang Zhang, Bo Li, Han Zhao, Bichen Wu, Ravi Krishna, Joseph E. Gonzalez, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Kurt Keutzer:
A Review of Single-Source Deep Unsupervised Visual Domain Adaptation. IEEE Trans. Neural Networks Learn. Syst. 33(2): 473-493 (2022) - [c190]Abdus Salam Azad, Edward Kim, Qiancheng Wu, Kimin Lee, Ion Stoica, Pieter Abbeel, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Programmatic Modeling and Generation of Real-Time Strategic Soccer Environments for Reinforcement Learning. AAAI 2022: 6028-6036 - [c189]Hazem Torfah, Carol Xie, Sebastian Junges, Marcell Vazquez-Chanlatte, Sanjit A. Seshia:
Learning Monitorable Operational Design Domains for Assured Autonomy. ATVA 2022: 3-22 - [c188]Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
From Interface Automata to Hypercontracts. Principles of Systems Design 2022: 477-493 - [c187]Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, Sanjit A. Seshia:
UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis. CAV (1) 2022: 538-551 - [c186]Dayeol Lee, Kevin Cheang, Alexander Thomas, Catherine Lu, Pranav Gaddamadugu, Anjo Vahldiek-Oberwagner, Mona Vij, Dawn Song, Sanjit A. Seshia, Krste Asanovic:
Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing. CCS 2022: 1871-1885 - [c185]Niklas Lauffer, Beyazit Yalcinkaya, Marcell Vazquez-Chanlatte, Ameesh Shah, Sanjit A. Seshia:
Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations. FMCAD 2022: 1-6 - [c184]Adwait Godbole, Yatin A. Manerkar, Sanjit A. Seshia:
Automated Conversion of Axiomatic to Operational Models: Theory and Practice. FMCAD 2022: 331-342 - [c183]Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Querying Labelled Data with Scenario Programs for Sim-to-Real Validation. ICCPS 2022: 34-45 - [c182]Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Demo: Querying Labelled Data with Scenario Programs for Sim-to-Real Validation. ICCPS 2022: 322-323 - [c181]Yash Vardhan Pant, Balasaravanan Thoravi Kumaravel, Ameesh Shah, Erin Kraemer, Marcell Vazquez-Chanlatte, Kshitij Kulkarni, Bjoern Hartmann, Sanjit A. Seshia:
Modeling and Influencing Human Attentiveness in Autonomy-to-Human Perception Hand-offs. ITSC 2022: 2585-2592 - [c180]Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Hypercontracts. NFM 2022: 674-692 - [c179]Elizabeth Polgreen, Andrew Reynolds, Sanjit A. Seshia:
Satisfiability and Synthesis Modulo Oracles. VMCAI 2022: 263-284 - [i88]Victoria Tuck, Yash Vardhan Pant, Sanjit A. Seshia, S. Shankar Sastry:
DEC-LOS-RRT: Decentralized Path Planning for Multi-robot Systems with Line-of-sight Constrained Communication. CoRR abs/2203.02609 (2022) - [i87]Niklas Lauffer, Beyazit Yalcinkaya, Marcell Vazquez-Chanlatte, Ameesh Shah, Sanjit A. Seshia:
Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations. CoRR abs/2205.13013 (2022) - [i86]Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, Sanjit A. Seshia:
UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis. CoRR abs/2208.03699 (2022) - [i85]Adwait Godbole, Yatin A. Manerkar, Sanjit A. Seshia:
Automated Conversion of Axiomatic to Operational Models: Theory and Practice. CoRR abs/2208.06733 (2022) - [i84]Dayeol Lee, Kevin Cheang, Alexander Thomas, Catherine Lu, Pranav Gaddamadugu, Anjo Vahldiek-Oberwagner, Mona Vij, Dawn Song, Sanjit A. Seshia, Krste Asanovic:
Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing. CoRR abs/2209.15253 (2022) - [i83]Kevin Cheang, Cameron Rasmussen, Dayeol Lee, David W. Kohlbrenner, Krste Asanovic, Sanjit A. Seshia:
Verifying RISC-V Physical Memory Protection. CoRR abs/2211.02179 (2022) - [i82]Ritwik Gupta, Alexander M. Bayen, Sarah Rohrschneider, Adrienne Fulk, Andrew Reddie, Sanjit A. Seshia, Shankar Sastry, Janet Napolitano:
Emerging Technology and Policy Co-Design Considerations for the Safe and Transparent Use of Small Unmanned Aerial Systems. CoRR abs/2212.02795 (2022) - 2021
- [j32]Andreea B. Alexandru, Konstantinos Gatsis, Yasser Shoukry, Sanjit A. Seshia, Paulo Tabuada, George J. Pappas:
Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption. IEEE Trans. Autom. Control. 66(5): 2357-2364 (2021) - [c178]Pashootan Vaezipoor, Gil Lederman, Yuhuai Wu, Chris J. Maddison, Roger B. Grosse, Sanjit A. Seshia, Fahiem Bacchus:
Learning Branching Heuristics for Propositional Model Counting. AAAI 2021: 12427-12435 - [c177]Kesav Viswanadha, Francis Indaheng, Justin Wong, Edward Kim, Ellen Kalvan, Yash Pant, Daniel J. Fremont, Sanjit A. Seshia:
Addressing the IEEE AV Test Challenge with Scenic and VerifAI. AITest 2021: 136-142 - [c176]Shromona Ghosh, Yash Vardhan Pant, Hadi Ravanbakhsh, Sanjit A. Seshia:
Counterexample-Guided Synthesis of Perception Models and Control. ACC 2021: 3447-3454 - [c175]Yash Vardhan Pant, He Yin, Murat Arcak, Sanjit A. Seshia:
Co-design of Control and Planning for Multi-rotor UAVs with Signal Temporal Logic Specifications. ACC 2021: 4209-4216 - [c174]Shivendra Kushwah, Ankush Desai, Pramod Subramanyan, Sanjit A. Seshia:
PSec: Programming Secure Distributed Systems using Enclaves. AsiaCCS 2021: 802-816 - [c173]Sebastian Junges, Hazem Torfah, Sanjit A. Seshia:
Runtime Monitors for Markov Decision Processes. CAV (2) 2021: 553-576 - [c172]Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte, Todd D. Millstein, Sanjit A. Seshia, Guy Van den Broeck:
Model Checking Finite-Horizon Markov Chains with Probabilistic Inference. CAV (2) 2021: 577-601 - [c171]Sebastian Junges, Nils Jansen, Sanjit A. Seshia:
Enforcing Almost-Sure Reachability in POMDPs. CAV (2) 2021: 602-625 - [c170]Victoria Tuck, Yash Vardhan Pant, Sanjit A. Seshia, S. Shankar Sastry:
DEC-LOS-RRT: Decentralized Path Planning for Multi-robot Systems with Line-of-sight Constrained Communication. CCTA 2021: 103-110 - [c169]Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Safety in Autonomous Driving: Can Tools Offer Guarantees? DAC 2021: 1311-1314 - [c168]Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia:
Synthesizing Pareto-Optimal Interpretations for Black-Box Models. FMCAD 2021: 153-162 - [c167]Marcell Vazquez-Chanlatte, Sebastian Junges, Daniel J. Fremont, Sanjit Seshia:
Entropy-Guided Control Improvisation. Robotics: Science and Systems 2021 - [c166]Kesav Viswanadha, Edward Kim, Francis Indaheng, Daniel J. Fremont, Sanjit A. Seshia:
Parallel and Multi-objective Falsification with Scenic and VerifAI. RV 2021: 265-276 - [c165]Hazem Torfah, Sebastian Junges, Daniel J. Fremont, Sanjit A. Seshia:
Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance. RV 2021: 311-330 - [c164]Nikhil Pimpalkhare, Federico Mora, Elizabeth Polgreen, Sanjit A. Seshia:
MedleySolver: Online SMT Algorithm Selection. SAT 2021: 453-470 - [p4]Clark W. Barrett, Roberto Sebastiani, Sanjit A. Seshia, Cesare Tinelli:
Satisfiability Modulo Theories. Handbook of Satisfiability 2021: 1267-1329 - [i81]Marcell Vazquez-Chanlatte, Sebastian Junges, Daniel J. Fremont, Sanjit Seshia:
Entropy-Guided Control Improvisation. CoRR abs/2103.05672 (2021) - [i80]Sebastian Junges, Hazem Torfah, Sanjit A. Seshia:
Runtime Monitoring for Markov Decision Processes. CoRR abs/2105.12322 (2021) - [i79]Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte, Todd D. Millstein, Sanjit A. Seshia, Guy Van den Broeck:
Model Checking Finite-Horizon Markov Chains with Probabilistic Inference. CoRR abs/2105.12326 (2021) - [i78]Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Hypercontracts. CoRR abs/2106.02449 (2021) - [i77]Abdus Salam Azad, Edward Kim, Qiancheng Wu, Kimin Lee, Ion Stoica, Pieter Abbeel, Sanjit A. Seshia:
Scenic4RL: Programmatic Modeling and Generation of Reinforcement Learning Environments. CoRR abs/2106.10365 (2021) - [i76]Kesav Viswanadha, Edward Kim, Francis Indaheng, Daniel J. Fremont, Sanjit A. Seshia:
Parallel and Multi-Objective Falsification with Scenic and VerifAI. CoRR abs/2107.04164 (2021) - [i75]Elizabeth Polgreen, Andrew Reynolds, Sanjit A. Seshia:
Satisfiability and Synthesis Modulo Oracles. CoRR abs/2107.13477 (2021) - [i74]Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia:
Synthesizing Pareto-Optimal Interpretations for Black-Box Models. CoRR abs/2108.07307 (2021) - [i73]Kesav Viswanadha, Francis Indaheng, Justin Wong, Edward Kim, Ellen Kalvan, Yash Pant, Daniel J. Fremont, Sanjit A. Seshia:
Addressing the IEEE AV Test Challenge with Scenic and VerifAI. CoRR abs/2108.13796 (2021) - [i72]Francis Indaheng, Edward Kim, Kesav Viswanadha, Jay Shenoy, Jinkyu Kim, Daniel J. Fremont, Sanjit A. Seshia:
A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation. CoRR abs/2110.14870 (2021) - [i71]Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit Seshia:
Querying Labelled Data with Scenario Programs for Sim-to-Real Validation. CoRR abs/2112.00206 (2021) - [i70]Marcell Vazquez-Chanlatte, Ameesh Shah, Gil Lederman, Sanjit A. Seshia:
Demonstration Informed Specification Search. CoRR abs/2112.10807 (2021) - 2020
- [j31]Sanjit A. Seshia, Somesh Jha, Tommaso Dreossi:
Semantic Adversarial Deep Learning. IEEE Des. Test 37(2): 8-18 (2020) - [j30]Matthew Weber, Baihong Jin, Gil Lederman, Yasser Shoukry, Edward A. Lee, Sanjit Seshia, Alberto L. Sangiovanni-Vincentelli:
Gordian: Formal Reasoning-based Outlier Detection for Secure Localization. ACM Trans. Cyber Phys. Syst. 4(4): 43:1-43:27 (2020) - [c163]Daniel J. Fremont, Johnathan Chiu, Dragos D. Margineantu, Denis Osipychev, Sanjit A. Seshia:
Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI. CAV (1) 2020: 122-134 - [c162]Marcell Vazquez-Chanlatte, Sanjit A. Seshia:
Maximum Causal Entropy Specification Inference from Demonstrations. CAV (2) 2020: 255-278 - [c161]Edward Kim, Divya Gopinath, Corina S. Pasareanu, Sanjit A. Seshia:
A Programmatic and Semantic Approach to Explaining and Debugging Neural Network Based Object Detectors. CVPR 2020: 11125-11134 - [c160]Sanjit A. Seshia:
Algorithmic Improvisation for Dependable Intelligent Autonomy (Invited Talk). FSTTCS 2020: 5:1-5:3 - [c159]Gil Lederman, Markus N. Rabe, Sanjit Seshia, Edward A. Lee:
Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning. ICLR 2020 - [c158]Daniel J. Fremont, Edward Kim, Yash Vardhan Pant, Sanjit A. Seshia, Atul Acharya, Xantha Bruso, Paul Wells, Steve Lemke, Qiang Lu, Shalin Mehta:
Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World. ITSC 2020: 1-8 - [c157]Sumukh Shivakumar, Hazem Torfah, Ankush Desai, Sanjit A. Seshia:
SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System. RV 2020: 184-194 - [e3]Aaron D. Ames, Sanjit A. Seshia, Jyotirmoy Deshmukh:
HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020. ACM 2020, ISBN 978-1-4503-7018-9 [contents] - [i69]Daniel J. Fremont, Edward Kim, Yash Vardhan Pant, Sanjit A. Seshia, Atul Acharya, Xantha Bruso, Paul Wells, Steve Lemke, Qiang Lu, Shalin Mehta:
Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World. CoRR abs/2003.07739 (2020) - [i68]Daniel J. Fremont, Johnathan Chiu, Dragos D. Margineantu, Denis Osipychev, Sanjit A. Seshia:
Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI. CoRR abs/2005.07173 (2020) - [i67]Sebastian Junges, Nils Jansen, Sanjit A. Seshia:
Enforcing Almost-Sure Reachability in POMDPs. CoRR abs/2007.00085 (2020) - [i66]Pashootan Vaezipoor, Gil Lederman, Yuhuai Wu, Chris J. Maddison, Roger B. Grosse, Edward A. Lee, Sanjit A. Seshia, Fahiem Bacchus:
Learning Branching Heuristics for Propositional Model Counting. CoRR abs/2007.03204 (2020) - [i65]Nicolas Chan, Elizabeth Polgreen, Sanjit A. Seshia:
Gradient Descent over Metagrammars for Syntax-Guided Synthesis. CoRR abs/2007.06677 (2020) - [i64]Federico Mora, Kevin Cheang, Elizabeth Polgreen, Sanjit A. Seshia:
Synthesis in Uclid5. CoRR abs/2007.06760 (2020) - [i63]Elizabeth Polgreen, Sanjit A. Seshia:
SynRG: Syntax Guided Synthesis of Invariants with Alternating Quantifiers. CoRR abs/2007.10519 (2020) - [i62]Sumukh Shivakumar, Hazem Torfah, Ankush Desai, Sanjit A. Seshia:
SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System. CoRR abs/2008.09707 (2020) - [i61]Sicheng Zhao, Xiangyu Yue, Shanghang Zhang, Bo Li, Han Zhao, Bichen Wu, Ravi Krishna, Joseph E. Gonzalez, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Kurt Keutzer:
A Review of Single-Source Deep Unsupervised Visual Domain Adaptation. CoRR abs/2009.00155 (2020) - [i60]Yash Vardhan Pant, He Yin, Murat Arcak, Sanjit A. Seshia:
Co-design of Control and Planning for Multi-rotor UAVs with Signal Temporal Logic Specifications. CoRR abs/2009.14363 (2020) - [i59]Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Scenic: A Language for Scenario Specification and Data Generation. CoRR abs/2010.06580 (2020) - [i58]Jay Shenoy, Edward Kim, Xiangyu Yue, Taesung Park, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit Seshia:
A Customizable Dynamic Scenario Modeling and Data Generation Platform for Autonomous Driving. CoRR abs/2011.14551 (2020)
2010 – 2019
- 2019
- [j29]Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar:
TeLEx: learning signal temporal logic from positive examples using tightness metric. Formal Methods Syst. Des. 54(3): 364-387 (2019) - [j28]Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia:
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components. J. Autom. Reason. 63(4): 1031-1053 (2019) - [c156]Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia:
VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems. CAV (1) 2019: 432-442 - [c155]Eric S. Kim, Murat Arcak, Sanjit A. Seshia:
Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis. CAV (1) 2019: 591-608 - [c154]Kevin Cheang, Cameron Rasmussen, Sanjit A. Seshia, Pramod Subramanyan:
A Formal Approach to Secure Speculation. CSF 2019: 288-303 - [c153]Ankush Desai, Shromona Ghosh, Sanjit A. Seshia, Natarajan Shankar, Ashish Tiwari:
SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems. DSN 2019: 138-150 - [c152]Shromona Ghosh, Somil Bansal, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Claire J. Tomlin:
A new simulation metric to determine safe environments and controllers for systems with unknown dynamics. HSCC 2019: 185-196 - [c151]Albert Magyar, David Biancolin, John Koenig, Sanjit Seshia, Jonathan Bachrach, Krste Asanovic:
Golden Gate: Bridging The Resource-Efficiency Gap Between ASICs and FPGA Prototypes. ICCAD 2019: 1-8 - [c150]Hadi Ravanbakhsh, Sriram Sankaranarayanan, Sanjit A. Seshia:
Formal Policy Learning from Demonstrations for Reachability Properties. ICRA 2019: 6037-6043 - [c149]Vighnesh Iyer, Donggyu Kim, Borivoje Nikolic, Sanjit A. Seshia:
RTL bug localization through LTL specification mining (WIP). MEMOCODE 2019: 5:1-5:5 - [c148]Micah Carroll, Rohin Shah, Mark K. Ho, Tom Griffiths, Sanjit A. Seshia, Pieter Abbeel, Anca D. Dragan:
On the Utility of Learning about Humans for Human-AI Coordination. NeurIPS 2019: 5175-5186 - [c147]Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Scenic: a language for scenario specification and scene generation. PLDI 2019: 63-78 - [c146]Sanjit A. Seshia:
Introspective Environment Modeling. RV 2019: 15-26 - [i57]Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia:
VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems. CoRR abs/1902.04245 (2019) - [i56]Shromona Ghosh, Somil Bansal, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Claire J. Tomlin:
A New Simulation Metric to Determine Safe Environments and Controllers for Systems with Unknown Dynamics. CoRR abs/1902.10320 (2019) - [i55]Hadi Ravanbakhsh, Sriram Sankaranarayanan, Sanjit A. Seshia:
Formal Policy Learning from Demonstrations for Reachability Properties. CoRR abs/1903.00589 (2019) - [i54]Marcell Vazquez-Chanlatte, Markus N. Rabe, Sanjit A. Seshia:
A Model Counter's Guide to Probabilistic Systems. CoRR abs/1903.09354 (2019) - [i53]Tommaso Dreossi, Shromona Ghosh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
A Formalization of Robustness for Deep Neural Networks. CoRR abs/1903.10033 (2019) - [i52]Eric S. Kim, Murat Arcak, Sanjit A. Seshia:
Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis. CoRR abs/1905.09503 (2019) - [i51]Markus N. Rabe, Leander Tentrup, Cameron Rasmussen, Sanjit A. Seshia:
Understanding and Extending Incremental Determinization for 2QBF. CoRR abs/1905.13411 (2019) - [i50]Marcell Vazquez-Chanlatte, Sanjit A. Seshia:
Learning Task Specifications from Demonstrations via the Principle of Maximum Causal Entropy. CoRR abs/1907.11792 (2019) - [i49]Lakshya Jain, Wilson Wu, Steven Chen, Uyeong Jang, Varun Chandrasekaran, Sanjit A. Seshia, Somesh Jha:
Generating Semantic Adversarial Examples with Differentiable Rendering. CoRR abs/1910.00727 (2019) - [i48]Micah Carroll, Rohin Shah, Mark K. Ho, Thomas L. Griffiths, Sanjit A. Seshia, Pieter Abbeel, Anca D. Dragan:
On the Utility of Learning about Humans for Human-AI Coordination. CoRR abs/1910.05789 (2019) - [i47]Shromona Ghosh, Hadi Ravanbakhsh, Sanjit A. Seshia:
Counterexample-Guided Synthesis of Perception Models and Control. CoRR abs/1911.01523 (2019) - [i46]Hadi Ravanbakhsh, Forrest Laine, Sanjit A. Seshia:
Real-time Funnel Generation for Restricted Motion Planning. CoRR abs/1911.01532 (2019) - [i45]Benjamin Caulfield, Sanjit A. Seshia:
Modularity in Query-Based Concept Learning. CoRR abs/1911.02714 (2019) - [i44]Edward Kim, Divya Gopinath, Corina S. Pasareanu, Sanjit A. Seshia:
A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors. CoRR abs/1912.00289 (2019) - [i43]Kevin Cheang, Cameron Rasmussen, Sanjit A. Seshia, Pramod Subramanyan:
A Formal Approach to Secure Speculation. IACR Cryptol. ePrint Arch. 2019: 310 (2019) - 2018
- [j27]Dorsa Sadigh, Nick Landolfi, Shankar S. Sastry, Sanjit A. Seshia, Anca D. Dragan:
Planning for cars that coordinate with people: leveraging effects on human actions for planning and active information gathering over human internal state. Auton. Robots 42(7): 1405-1426 (2018) - [j26]Tarek F. Abdelzaher, Nora Ayanian, Tamer Basar, Suhas N. Diggavi, Jana Diesner, Deepak Ganesan, Ramesh Govindan, Susmit Jha, Tancrède Lepoint, Benjamin M. Marlin, Klara Nahrstedt, David M. Nicol, Raj Rajkumar, Stephen Russell, Sanjit A. Seshia, Fei Sha, Prashant J. Shenoy, Mani B. Srivastava, Gaurav S. Sukhatme, Ananthram Swami, Paulo Tabuada, Don Towsley, Nitin H. Vaidya, Venugopal V. Veeravalli:
Toward an Internet of Battlefield Things: A Resilience Perspective. Computer 51(11): 24-36 (2018) - [j25]Susmit Jha, Vasumathi Raman, Dorsa Sadigh, Sanjit A. Seshia:
Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic. J. Autom. Reason. 60(1): 43-62 (2018) - [j24]Yi-Chin Wu, Vasumathi Raman, Blake C. Rawlings, Stéphane Lafortune, Sanjit A. Seshia:
Synthesis of Obfuscation Policies to Ensure Privacy and Utility. J. Autom. Reason. 60(1): 107-131 (2018) - [j23]Ankush Desai, Amar Phanishayee, Shaz Qadeer, Sanjit A. Seshia:
Compositional programming and testing of dynamic distributed systems. Proc. ACM Program. Lang. 2(OOPSLA): 159:1-159:30 (2018) - [j22]Yasser Shoukry, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada:
SMC: Satisfiability Modulo Convex Programming. Proc. IEEE 106(9): 1655-1679 (2018) - [j21]Yasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, João Pedro Hespanha, Paulo Tabuada:
SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks. ACM Trans. Cyber Phys. Syst. 2(1): 5:1-5:27 (2018) - [c145]