Sanjit A. Seshia

Sanjit A. Seshia's AcademicInfluence.com Rankings

Sanjit A. Seshia

Computer Science

#5425

World Rank

#5733

Historical Rank

Software Engineering

#153

World Rank

#154

Historical Rank

Database

#2580

World Rank

#2702

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Sanjit A. Seshia's Degrees

PhD Computer Science University of California, Berkeley
Masters Computer Science University of California, Berkeley

Similar Degrees You Can Earn

Why Is Sanjit A. Seshia Influential?

(Suggest an Edit or Addition)

(See a Problem?)

Sanjit A. Seshia's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Satisfiability Modulo Theories (2021) (1342)
Introduction to Embedded Systems - A Cyber-Physical Systems Approach (2013) (1074)
Semantics-aware malware detection (2005) (786)
Combinatorial sketching for finite programs (2006) (760)
Syntax-guided synthesis (2013) (642)
Handbook of Satisfiability (2021) (533)
Oracle-guided component-based program synthesis (2010) (501)
Planning for Autonomous Cars that Leverage Effects on Human Actions (2016) (387)
Model predictive control with signal temporal logic specifications (2014) (282)
Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions (2002) (273)
Active Preference-Based Learning of Reward Functions (2017) (236)
Reactive synthesis from signal temporal logic specifications (2015) (228)
Mining Requirements From Closed-Loop Control Models (2013) (220)
Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach (2014) (209)
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components (2017) (194)
Distributed Real-Time Software for Cyber–Physical Systems (2012) (170)
Information gathering actions over human internal state (2016) (165)
Sketching stencils (2007) (160)
Introduction to Embedded Systems (2009) (160)
A Contract-Based Methodology for Aircraft Electric Power System Design (2014) (159)
Post-silicon validation opportunities, challenges and recent advances (2010) (154)
On the Utility of Learning about Humans for Human-AI Coordination (2019) (150)
A LiDAR Point Cloud Generator: from a Virtual World to Autonomous Driving (2018) (140)
Deciding Bit-Vector Arithmetic with Abstraction (2007) (138)
Distribution-Aware Sampling and Weighted Model Counting for SAT (2014) (138)
A learning based approach to control synthesis of Markov decision processes for linear temporal logic specifications (2014) (135)
Robust online monitoring of signal temporal logic (2015) (130)
Automated composition of motion primitives for multi-robot systems from safe LTL specifications (2014) (129)
Scenic: a language for scenario specification and scene generation (2018) (125)
VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems (2019) (120)
Verification-Guided Soft Error Resilience (2007) (118)
Toward verified artificial intelligence (2016) (117)
Planning for cars that coordinate with people: leveraging effects on human actions for planning and active information gathering over human internal state (2018) (117)
Deciding Separation Formulas with SAT (2002) (116)
A Formal Foundation for Secure Remote Execution of Enclaves (2017) (113)
Scalable specification mining for verification and diagnosis (2010) (112)
Reverse Engineering Digital Circuits Using Structural and Functional Analyses (2014) (109)
Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities (2017) (106)
Moat: Verifying Confidentiality of Enclave Programs (2015) (105)
Synthesis for Human-in-the-Loop Control Systems (2014) (105)
A theory of formal synthesis via inductive learning (2015) (102)
The Swarm at the Edge of the Cloud (2015) (99)
The UCLID Decision Procedure (2004) (98)
Mining assumptions for synthesis (2011) (98)
A Review of Single-Source Deep Unsupervised Visual Domain Adaptation (2020) (93)
Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties (2013) (89)
A hybrid SAT-based decision procedure for separation logic with uninterpreted functions (2003) (89)
SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks (2016) (89)
On Parallel Scalable Uniform SAT Witness Generation (2015) (88)
Modeling and Verification of Out-of-Order Microprocessors in UCLID (2002) (87)
Reverse engineering circuits using behavioral pattern mining (2012) (85)
Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic (2009) (82)
WordRev: Finding word-level structures in a sea of bit-level gates (2013) (80)
Data-Driven Probabilistic Modeling and Verification of Human Driver Behavior (2014) (79)
Formal Specification for Deep Neural Networks (2018) (77)
DRONA: A Framework for Safe Distributed Mobile Robotics (2017) (76)
Semantic Adversarial Deep Learning (2018) (76)
Automating exercise generation: a step towards meeting the MOOC challenge for embedded systems (2012) (73)
Combining Model Checking and Runtime Verification for Safe Robotics (2017) (72)
A design and verification methodology for secure isolated regions (2016) (72)
Privacy-aware quadratic optimization using partially homomorphic encryption (2016) (71)
Constrained Sampling and Counting: Universal Hashing Meets SAT Solving (2015) (71)
CalCS: SMT solving for non-linear convex constraints (2010) (64)
Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World (2020) (62)
Modular verification of multithreaded programs (2005) (62)
The swarm at the edge of the cloud - A new perspective on wireless (2011) (61)
Synthesizing switching logic for safety and dwell-time requirements (2010) (54)
Learning Task Specifications from Demonstrations (2017) (53)
Deciding quantifier-free Presburger formulas using parameterized solution bounds (2004) (53)
Systematic Testing of Convolutional Neural Networks for Autonomous Driving (2017) (52)
Compositional controller synthesis for vehicular traffic networks (2015) (51)
Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming (2017) (50)
Design as you see FIT: System-level soft error analysis of sequential circuits (2009) (50)
Counterexample-Guided Data Augmentation (2018) (50)
A Theory of Mutations with Applications to Vacuity, Coverage, and Fault Tolerance (2008) (49)
Safety envelope for security (2014) (49)
Scenic: Language-Based Scene Generation (2018) (47)
Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic (2017) (47)
SMC: Satisfiability Modulo Convex Optimization (2017) (47)
Abstraction-Based Satisfiability Solving of Presburger Arithmetic (2004) (46)
Implan: Scalable Incremental Motion Planning for Multi-Robot Systems (2016) (44)
Incremental Determinization (2016) (44)
SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems (2018) (44)
Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption (2018) (42)
Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications (2016) (40)
Formal methods for semi-autonomous driving (2015) (40)
Sound and complete state estimation for linear dynamical systems under sensor attacks using Satisfiability Modulo Theory solving (2015) (39)
A Formal Approach to Secure Speculation (2019) (39)
Symbolic Reachability Analysis of Lazy Linear Hybrid Automata (2007) (38)
Unbounded, Fully Symbolic Model Checking of Timed Automata using Boolean Methods (2003) (38)
Towards trustworthy automation: User interfaces that convey internal and external awareness (2016) (38)
Sciduction: Combining induction, deduction, and structure for verification and synthesis (2012) (38)
CPSGrader: Synthesizing temporal logic testers for auto-grading an embedded systems laboratory (2014) (37)
Maximum Model Counting (2017) (36)
Quantitative Analysis of Systems Using Game-Theoretic Learning (2012) (36)
Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning (2018) (36)
Scenic: A Language for Scenario Specification and Data Generation (2020) (35)
SMC: Satisfiability Modulo Convex Programming (2018) (35)
Automatic discovery of API-level exploits (2005) (35)
ST-Lib: A Library for Specifying and Classifying Model Behaviors (2016) (35)
Synthesis of optimal switching logic for hybrid systems (2011) (34)
Systematic testing of asynchronous reactive systems (2015) (34)
Synthesis of Obfuscation Policies to Ensure Privacy and Utility (2017) (33)
Game-theoretic timing analysis (2008) (33)
Combining Induction, Deduction, and Structure for Verification and Synthesis (2012) (33)
Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI (2020) (32)
An abstraction-based decision procedure for bit-vector arithmetic (2009) (31)
Scalable lazy SMT-based motion planning (2016) (31)
A Translation of Statecharts to Esterel (1999) (31)
Deciding CLU Logic Formulas via Boolean and Pseudo-Boolean Encodings (2002) (29)
UCLID5: Integrating Modeling, Verification, Synthesis and Learning (2018) (29)
The TerraSwarm Research Center (TSRC) (A White Paper) (2012) (29)
A Small Gain Theorem for Parametric Assume-Guarantee Contracts (2017) (29)
Secure state reconstruction in differentially flat systems under sensor attacks using satisfiability modulo theory solving (2015) (27)
Will Distributed Computing Revolutionize Peace? The Emergence of Battlefield IoT (2018) (27)
Learning Heuristics for Automated Reasoning through Deep Reinforcement Learning (2018) (27)
TeLEx: Passive STL Learning Using Only Positive Examples (2017) (27)
TeLEx: learning signal temporal logic from positive examples using tightness metric (2019) (27)
GameTime: A Toolkit for Timing Analysis of Software (2011) (26)
Adaptive eager boolean encoding for arithmetic reasoning in verification (2005) (26)
On voting machine design for verification and testability (2009) (26)
A Formalization of Robustness for Deep Neural Networks (2019) (26)
Toward an Internet of Battlefield Things: A Resilience Perspective (2018) (25)
A Modular Checker for Multithreaded Programs (2002) (25)
A compiler and verifier for page access oblivious computation (2017) (25)
Directed Specifications and Assumption Mining for Monotone Dynamical Systems (2016) (25)
An introductory textbook on cyber-physical systems (2010) (25)
CrowdMine: Towards crowdsourced human-assisted verification (2012) (25)
A Time-Centric Model for Cyber-Physical Applications (2010) (25)
Machine Improvisation with Formal Specifications (2014) (25)
Formal verification at higher levels of abstraction (2007) (24)
Optimizations of an application-level protocol for enhanced dependability in FlexRay (2009) (24)
Convergence Testing in Term-Level Bounded Model Checking (2003) (24)
ddNF: An Efficient Data Structure for Header Spaces (2016) (24)
Virtualizing Cyber-Physical Systems: Bringing CPS to Online Education (2013) (23)
On Solving Boolean Combinations of UTVPI Constraints (2007) (23)
Logical Clustering and Learning for Time-Series Data (2016) (23)
Symbolic control design for monotone systems with directed specifications (2017) (22)
Understanding and Extending Incremental Determinization for 2QBF (2018) (22)
Effective blame for information-flow violations (2008) (21)
Synthesis with Identifiers (2014) (20)
Compositional programming and testing of dynamic distributed systems (2018) (20)
VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems (2019) (20)
Teaching embedded systems the Berkeley way (2012) (20)
Time-Centric Models For Designing Embedded Cyber-physical Systems (2009) (20)
Combining requirement mining, software model checking and simulation-based verification for industrial automotive systems (2016) (20)
Control Improvisation with Application to Music (2013) (19)
Stochastic predictive freeway ramp metering from Signal Temporal Logic specifications (2017) (19)
Algorithms for Green Buildings: Learning-Based Techniques for Energy Prediction and Fault Diagnosis (2009) (19)
An Application ofWeb-Service Interfaces (2007) (19)
Timing analysis of interrupt-driven programs under context bounds (2011) (18)
I MHOTEP-SMT : A Satisfiability Modulo Theory Solver For Secure State Estimation ∗ (2015) (18)
A Programmatic and Semantic Approach to Explaining and Debugging Neural Network Based Object Detectors (2019) (17)
Enforcing Almost-Sure Reachability in POMDPs (2020) (17)
ATLAS: Automatic Term-level abstraction of RTL designs (2010) (17)
Automating Security Mediation Placement (2010) (17)
Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems (2015) (16)
Control Improvisation with Probabilistic Temporal Specifications (2015) (16)
Secure State Estimation Under Sensor Attacks: A Satisfiability Modulo Theory Approach (2014) (16)
What's Decidable about Syntax-Guided Synthesis? (2015) (16)
Robust Subspace System Identification via Weighted Nuclear Norm Optimization (2013) (15)
Localizing transient faults using dynamic bayesian networks (2009) (15)
Logical Clustering and Learning for Time-Series Data (2017) (15)
Programming Safe Robotics Systems: Challenges and Advances (2018) (15)
Dynamic contracts for distributed temporal logic control of traffic networks (2017) (15)
The Case for Timing-Centric Distributed Software Invited Paper (2009) (14)
On the Hardness of SAT with Community Structure (2016) (14)
Learning conditional abstractions (2011) (13)
Verifying Robustness of Human-Aware Autonomous Cars (2019) (13)
Are There Good Mistakes? A Theoretical Analysis of CEGIS (2014) (12)
Modeling and verifying circuits using generalized relative timing (2005) (12)
Obfuscator Synthesis for Privacy and Utility (2016) (12)
An introductory capstone design course on embedded systems (2011) (12)
Modeling for Verification (2018) (12)
New Frontiers in Formal Methods: Learning, Cyber-Physical Systems, Education, and Beyond (2015) (11)
SOTER: Programming Safe Robotics System using Runtime Assurance (2018) (11)
A new simulation metric to determine safe environments and controllers for systems with unknown dynamics (2019) (10)
Distributed control of a swarm of buildings connected to a smart grid: demo abstract (2014) (10)
Generating Semantic Adversarial Examples with Differentiable Rendering (2019) (10)
Autonomic Reactive Systems via Online Learning (2007) (10)
Golden Gate: Bridging The Resource-Efficiency Gap Between ASICs and FPGA Prototypes (2019) (10)
Compositional performance verification of NoC designs (2012) (10)
Counterexample-Guided Synthesis of Perception Models and Control (2019) (9)
Automatic Model Generation for Black Box Real-Time Systems (2007) (9)
Modeling and Verifying Systems using a Logi ofCounter Arithmeti with Lambda Expressionsand Uninterpreted (2002) (9)
Quantitative Network Analysis (2015) (9)
Game theoretic secure localization in wireless sensor networks (2014) (9)
Introspective Environment Modeling (2019) (9)
SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System (2020) (9)
Time Series Learning using Monotonic Logical Properties (2018) (8)
Verifying RISC-V Physical Memory Protection (2022) (8)
Learning Branching Heuristics for Propositional Model Counting (2020) (8)
Synthesis of Optimal Fixed-Point Implementation of Numerical Software Routines (2013) (8)
On the Computational Complexity of Satisfiability Solving for String Theories (2009) (8)
Model Predictive Control for Signal Temporal Logic Specification (2017) (8)
Maximum Causal Entropy Specification Inference from Demonstrations (2019) (8)
Sparse Coding for Specification Mining and Error Localization (2012) (7)
Robust strategy synthesis for probabilistic systems applied to risk-limiting renewable-energy pricing (2014) (7)
Abstraction-based performance verification of NoCs (2011) (7)
User interface design and verification for semi-autonomous driving (2014) (7)
Co-design of Control and Planning for Multi-rotor UAVs with Signal Temporal Logic Specifications (2020) (7)
MedleySolver: Online SMT Algorithm Selection (2021) (7)
Combining Theory Generation and Model Checking for Security Protocol Analysis (2000) (7)
Abstraction-Based Performance Analysis of NoCs (2011) (7)
Verification with small and short worlds (2012) (6)
Model Checking Finite-Horizon Markov Chains with Probabilistic Inference (2021) (6)
Reactive Control Improvisation (2018) (6)
Program synthesis for interactive-security systems (2017) (6)
Scalable Motion Planning Using Lazy SMT-Based Solving (2016) (6)
Automotive systems requirement mining using breach (2015) (6)
Runtime Monitors for Markov Decision Processes (2021) (6)
Quantitative Analysis of Software: Challenges and Recent Advances (2010) (6)
Compositional Verification without Compositional Specification for Learning-Based Systems (2017) (6)
Automatic Discovery of API-Level Vulnerabilities (2008) (6)
Parallel and Multi-Objective Falsification with Scenic and VerifAI (2021) (6)
Endlessly circulating messages in IEEE 1588-2008 systems (2014) (5)
Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata (2013) (5)
Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games (2018) (5)
A Model Counter's Guide to Probabilistic Systems (2019) (5)
Symbolic software model validation (2013) (5)
Compositional Performance Verification of Network-on-Chip Designs (2014) (5)
Addressing the IEEE AV Test Challenge with Scenic and VerifAI (2021) (5)
Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance (2021) (5)
A Satisfiability Modulo Theory Approach to Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks (2015) (5)
Beaver : An SMT Solver for Quantifier-free Bit-vector Logic Rhishikesh Limaye Research Project (2010) (5)
A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation (2021) (5)
Planning for cars that coordinate with people: leveraging effects on human actions for planning and active information gathering over human internal state (2018) (5)
Counterexample-guided SMT-driven optimal buffer sizing (2011) (5)
Safety in Autonomous Driving: Can Tools Offer Guarantees? (2021) (4)
Fundamental Algorithms for System Modeling, Analysis, and Optimization (2013) (4)
Scenic4RL: Programmatic Modeling and Generation of Reinforcement Learning Environments (2021) (4)
Specification Mining for Machine Improvisation with Formal Specifications (2016) (4)
Synthesizing Switching Logic to Minimize Long-Run Cost (2011) (4)
A Boolean approach to unbounded, fully symbolic model checking of timed automata (2003) (4)
SWATI: Synthesizing Wordlengths Automatically Using Testing and Induction (2013) (4)
Gordian: Formal Reasoning-based Outlier Detection for Secure Localization (2020) (4)
Satisfiability and Synthesis Modulo Oracles (2021) (4)
A Graphical Environment for the Specification and Verification of Reactive Systems (1999) (4)
Building Reliable Distributed Systems With P (2015) (4)
Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings (2012) (3)
Synthesis with Clairvoyance (2011) (3)
Specification Inference from Demonstrations (2017) (3)
Demo Abstract: Distributed Control of a Swarm of Buildings Connected to a Smart Grid (2014) (3)
Speeding Up SMT-Based Quantitative Program Analysis (2014) (3)
Iterative Cycle Detection via Delaying Explorers (2015) (3)
Proceedings of the 24th international conference on Computer Aided Verification (2012) (3)
Cyber-Physical Systems Education: Explorations and Dreams (2018) (3)
Clustering-Based Active Learning for CPSGrader (2015) (3)
Abstracting RTL Designs to the Term Level (2008) (3)
Synthesis in Uclid5 (2020) (3)
Unsupervised Domain Adaptation: from Simulation Engine to the RealWorld (2018) (3)
A Performance Comparison of Interval Arithmetic and Error Analysis for Geometric Predicates (2000) (2)
The Hardness of Approximating Minima in OBDDs, FBDDs and Boolean Functions (2000) (2)
Interactive presentation: Automatic model generation for black box real-time systems (2007) (2)
J un 2 01 5 Robust Online Monitoring of Signal Temporal Logic (2018) (2)
Generating Control Logic for Optimized Soft Error Resilience (2013) (2)
On Solving Boolean Combinations of Generalized 2SAT Constraints (2004) (2)
Logic-based Clustering and Learning for Time-Series Data (2016) (2)
Context-Specific Validation of Data-Driven Models (2018) (2)
Synthesis of Obfuscation Policies to Ensure Privacy and Utility (2017) (2)
Chapter 33. Satisfiability Modulo Theories (2021) (2)
Verified Software: Theories, Tools, and Experiments (2015) (2)
Surprise-Guided Search for Learning Task Speciﬁcations from Demonstrations (2022) (2)
Formal Modeling and Verification of CloudProxy (2014) (2)
Learning Auditable Features from Signals Using Unsupervised Temporal Projection (2016) (2)
Programmatic Modeling and Generation of Real-Time Strategic Soccer Environments for Reinforcement Learning (2022) (1)
Making AI more trustworthy with a formal methods-based approach to AI system verification and validation. BY SANJIT A. SESHIA, DORSA SADIGH, AND S. SHANKAR SASTRY (2022) (1)
Deciding quantifier-free Presburger formulas using finite instantiation based on parameterized solution bounds (2003) (1)
On ∃ ∀ ∃! solving: A case study on automated synthesis of magic card tricks (2016) (1)
Modular Veriﬁcation of Multithreaded Programs (2004) (1)
Information Gathering Actions over Human Internal State Dorsa (2016) (1)
Synthesizing Pareto-Optimal Interpretations for Black-Box Models (2021) (1)
Real-time Funnel Generation for Restricted Motion Planning (2019) (1)
Reducing Separation Formulas to Propositional Logic (2003) (1)
Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations (2022) (1)
On the Duality between Vacuity and Coverage (2008) (1)
A theory of formal synthesis via inductive learning (2017) (1)
Automatic Synthesis of a Voting Machine Design (2010) (1)
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components (2019) (1)
Explorations in cyber-physical systems education (2022) (1)
Compositional Reasoning for Dynamic Distributed Systems (2017) (1)
On Systematic Testing for Execution-Time Analysis (2015) (1)
Algorithmic Improvisation for Dependable Intelligent Autonomy (Invited Talk) (2020) (1)
Learning Monitorable Operational Design Domains for Assured Autonomy (2022) (1)
Gordian SMT : Untangling Ranging Attacks in N o isy Sensor Networks for Secure Localization (2017) (1)
Guest Editorial Special Issue on Automotive Embedded Systems (2010) (1)
Learning and Visualizing Music Specifications Using Pattern Graphs (2016) (1)
Integrated Verification for Robust Computing (2006) (1)
On the Teaching Dimension of Octagons for Formal Synthesis (2016) (1)
SynRG: Syntax Guided Synthesis of Invariants with Alternating Quantifiers (2020) (1)
UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis (2022) (1)
Demonstration Informed Specification Search (2021) (1)
Automatic Discovery ofAPI-Level Exploits (2005) (1)
Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351) (2014) (1)
Formal Policy Learning from Demonstrations for Reachability Properties (2019) (1)
Machine Learning and Formal Methods (2018) (1)
Runtime Monitoring for Markov Decision Processes (2021) (1)
Machine Learning and Formal Method (Dagstuhl Seminar 17351) (2017) (1)
On Automatic Placement of Declassifiers for Information-Flow Security (2008) (1)
DEC-LOS-RRT: Decentralized Path Planning for Multi-robot Systems with Line-of-sight Constrained Communication (2021) (1)
Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design (2023) (1)
RTL bug localization through LTL specification mining (WIP) (2019) (0)
Revised Selected Papers of the 7th International Conference on Verified Software: Theories, Tools, and Experiments - Volume 9593 (2015) (0)
Cerberus (2022) (0)
PSec: Programming Secure Distributed Systems using Enclaves (2021) (0)
Power-Aware Dynamic Control of Error-Resilience Mechanisms (2011) (0)
Program Committee Additional Reviewers Smt: Where Do We Go from Here? Speeding up Smt-based Quantitative Program Analysis 2 Background and Problem Definition We Present Some Background Material in Sec. 2.1 and the Formal Problem Definitions in Sec. 2.2. 2.1 Preliminaries (2014) (0)
SynRG: Syntax Guided Synthesis of Expressions with Alternating Quantifiers (2020) (0)
Model-based Formalization of the Autonomy-to- Human Perception Hand-off (2021) (0)
ULGEN: A Runtime Assurance Framework for Programming Safe Cyber-Physical Systems (2023) (0)
Gradient Descent over Metagrammars for Syntax-Guided Synthesis (2020) (0)
Specification-Guided Data Aggregation for Semantically Aware Imitation Learning (2023) (0)
Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic (2017) (0)
Hypercontracts (2021) (0)
Report : Verifiable Control for ( Semi ) Autonomous Cars that Learns from Human ( Re ) Actions (2016) (0)
Formal Policy Learning from Demonstrations for Reachability (2019) (0)
Assume-guarantee contracts and controller synthesis for vehicular traffic networks (2016) (0)
Proceedings of the 9 th International Workshop on Satisfiability Modulo Theories ( SMT ) 2011 (2011) (0)
Robust online monitoring of signal temporal logic (2017) (0)
Emerging Technology and Policy Co-Design Considerations for the Safe and Transparent Use of Small Unmanned Aerial Systems (2022) (0)
Automatic Generation of Communication Requirements for Enforcing Multi-Agent Safety (2018) (0)
TeLEx: learning signal temporal logic from positive examples using tightness metric (2019) (0)
Explorer UCLID 5 : Multi-Modal Formal Modeling , Verification , and Synthesis (2022) (0)
Conflict-Guided Simplification for SAT (2008) (0)
Transactions on Cyber-Physical Systems 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 (2016) (0)
Modularity in Query-Based Concept Learning (2019) (0)
From Interface Automata to Hypercontracts (2022) (0)
A Language-Based Approach to Run-Time Assurance for Autonomous Systems (2020) (0)
Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis (2019) (0)
Comparing Techniques for Out-of-Order Processor Verification in UCLID (2003) (0)
Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing (2022) (0)
A Customizable Dynamic Scenario Modeling and Data Generation Platform for Autonomous Driving (2020) (0)
Specification Mining for Cyber- Physical Systems (0)
Modeling and Influencing Human Attentiveness in Autonomy-to-Human Perception Hand-offs (2022) (0)
Decision Procedures Customized for Formal Verification (2005) (0)
Decision Procedures and Abstract Interpretation (2014) (0)
A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies (2023) (0)
2016 IEEE Education Society Awards, 2016 Frontiers in Education Conference Awards, and Selected IEEE Awards (2017) (0)
A Sparse Coding Method for Specification Mining and Error Localization (2011) (0)
A Comparison and Combination of Theory Generation and ModelChe king for Se urity Proto ol AnalysisNi holas (2007) (0)
Laboratory 4: Cal Climber Part II Hill Climb in C (2011) (0)
Querying Labelled Data with Scenario Programs for Sim-to-Real Validation (2022) (0)
Robust Specification Mining from Demonstrations (2018) (0)
A Non-monotonic Theory of Oracle-guided Inductive Synthesis (2017) (0)
Demo: Querying Labelled Data with Scenario Programs for Sim-to-Real Validation (2021) (0)
Modelling Coastal And Marine Processes 2ed (2017) (0)
Report : Predictable and Customizable Autonomous Driving Anca Dragan Collaborators : (2016) (0)
Quantitative Analysis of Embedded Software Using Game-Theoretic Learning (2009) (0)
Verifying High-Confidence Interactive Systems: Electronic Voting and Beyond (2013) (0)
Distributed Real-Time Software for Cyber-Physical Systems New programming abstractions and modeling tools are presented in this paper to precisely capture the physical notion of time in these systems. (2012) (0)
Automated Conversion of Axiomatic to Operational Models: Theory and Practice (2022) (0)
2 DNN-Based Systems Controller Plant Environment DNN ‐ Based Perception Plant Environment DNN ‐ Based End ‐ to ‐ End Control Loan Application Loan Decision ... DNN ‐ Based “ Neural Program ” Input (2018) (0)
WGT: Tools and algorithms for recognizing, visualizing and generating Wheeler graphs (2023) (0)
Gordian (2020) (0)
Sketching with Partial Programs (2006) (0)
Tunable Reactive Synthesis for Lipschitz-Bounded Systems with Temporal Logic Specifications (2017) (0)
Verification of Confidentiality Properties of Enclave Programs (2015) (0)
Learning Task Specifications from Demonstrations via the Principle of Maximum Causal Entropy (2019) (0)
Chapter 3 : Modeling for Verification (2014) (0)
Embedded Systems Specification and Modeling (2010) (0)
Program synthesis for interactive-security systems (2017) (0)
Entropy-Guided Control Improvisation (2021) (0)
Abstra tion-based Satis ability Solving ofPresburger Arithmeti ? (2004) (0)
Biochemistry as a Programming Language ∗ Full Presentation (2013) (0)
Proceedings of the 1 st Workshop on Quantitative Analysis of Software ( QA ' 09 ) (2009) (0)
Control Improvisation with Applications to Music (2013) (0)
GAMING Connected Gaming : What Making Video Games (2017) (0)
Iterative Cycle Detection via Delaying Explorers MSR-TR-2015-28 (2015) (0)
Experiments for 'Enforcing Almost-Sure Reachability in POMDPs' (2021) (0)
To Be Certain about Uncertainties : Probabilistic Model Checking with Uncertainties (2012) (0)

This paper list is powered by the following services:

What Schools Are Affiliated With Sanjit A. Seshia?

Sanjit A. Seshia is affiliated with the following schools:

University of California, Berkeley

Sanjit A. Seshia's Academic­Influence.com Rankings

Sanjit A. Seshia's Degrees

Similar Degrees You Can Earn

Why Is Sanjit A. Seshia Influential?

Sanjit A. Seshia's Published Works

Published Works

What Schools Are Affiliated With Sanjit A. Seshia?

Sanjit A. Seshia's AcademicInfluence.com Rankings