Sanjit A. Seshia

Available identifiers

zbMath Open seshia.sanjit-arunkumarMaRDI QIDQ557794

List of research outcomes

Publication	Date of Publication	Type
Flexible computational pipelines for robust abstraction-based control synthesis	2024-02-16	Paper
Machine learning and logic: a new frontier in artificial intelligence	2023-10-30	Paper
From interface automata to hypercontracts	2023-08-10	Paper
Formal specification for deep neural networks	2023-07-28	Paper
Reactive control improvisation	2023-05-26	Paper
Understanding and extending incremental determinization for 2QBF	2023-05-05	Paper
Satisfiability and synthesis modulo oracles	2022-07-08	Paper
Logical clustering and learning for time-series data	2022-07-01	Paper
Runtime monitors for Markov decision processes	2022-03-25	Paper
Model checking finite-horizon Markov chains with probabilistic inference	2022-03-25	Paper
Enforcing almost-sure reachability in POMDPs	2022-03-25	Paper
MedleySolver: online SMT algorithm selection	2022-03-22	Paper
Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption	2021-05-28	Paper
Maximum causal entropy specification inference from demonstrations	2021-02-09	Paper
TeLEx: learning signal temporal logic from positive examples using tightness metric	2019-11-25	Paper
Compositional falsification of cyber-physical systems with machine learning components	2019-10-25	Paper
A new simulation metric to determine safe environments and controllers for systems with unknown dynamics	2019-10-22	Paper
Cloud-based Quadratic Optimization with Partially Homomorphic Encryption	2018-09-06	Paper
Modeling for Verification	2018-07-20	Paper
Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach	2018-06-27	Paper
Program synthesis for interactive-security systems	2018-02-14	Paper
Safe autonomy under perception uncertainty using chance-constrained temporal logic	2018-02-02	Paper
Synthesis of obfuscation policies to ensure privacy and utility	2018-02-02	Paper
Symbolic control design for monotone systems with directed specifications	2017-11-08	Paper
A theory of formal synthesis via inductive learning	2017-10-26	Paper
https://portal.mardi4nfdi.de/entity/Q5364938	2017-09-29	Paper
Robust online monitoring of signal temporal logic	2017-09-08	Paper
https://portal.mardi4nfdi.de/entity/Q5275388	2017-07-13	Paper
SMC	2017-07-11	Paper
A Small Gain Theorem for Parametric Assume-Guarantee Contracts	2017-07-11	Paper
Reactive synthesis from signal temporal logic specifications	2017-05-19	Paper
Directed Specifications and Assumption Mining for Monotone Dynamical Systems	2017-05-19	Paper
Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications	2017-05-19	Paper
Mining requirements from closed-loop control models	2017-05-16	Paper
On the Hardness of SAT with Community Structure	2016-09-05	Paper
Incremental Determinization	2016-09-05	Paper
Synthesis with Identifiers	2015-01-13	Paper
Automating Security Mediation Placement	2010-05-04	Paper
Computer Aided Verification	2010-04-20	Paper
Correct Hardware Design and Verification Methods	2010-02-05	Paper
Symbolic Reachability Analysis of Lazy Linear Hybrid Automata	2008-07-03	Paper
Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds	2007-10-11	Paper
https://portal.mardi4nfdi.de/entity/Q5309034	2007-10-09	Paper
Deciding Bit-Vector Arithmetic with Abstraction	2007-09-03	Paper
Automated Deduction – CADE-20	2006-11-01	Paper
Computer Aided Verification	2005-08-25	Paper
Computer Aided Verification	2005-08-25	Paper
Modular verification of multithreaded programs	2005-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q4427901	2003-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4804887	2003-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q4804895	2003-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q4804898	2003-05-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Sanjit A. Seshia