◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

S. Seshia

127 papers hereh-index 7222.2k citations434 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • sole author1
  • first author3
  • middle author38
  • last author75

Across the 117 of 127 papers where every author was matched, so the position is known.

fields
  • cs.LG24
  • cs.LO22
  • eess.SY19
  • cs.AI14
  • cs.RO13
  • cs.PL9

identity via Semantic Scholar / OpenAlex

activity
20052026
most citedScenic: A Language for Scenario Specification and Scene Generation

235 citations · 865 across the 103 of their papers we have counts for

collaborators
Showing 2013 · eess.SYShow all

2 papers · 2 filters

eess.SY2013

Robust Subspace System Identification via Weighted Nuclear Norm Optimization

Dorsa Sadigh, Henrik Ohlsson, S. Shankar Sastry +1

Subspace identification is a classical and very well studied problem in system identification. The problem was recently posed as a convex optimization problem via the nuclear norm…

eess.SY2013★ 2 cited

SWATI: Synthesizing Wordlengths Automatically Using Testing and Induction

Susmit Jha, Sanjit A. Seshia

In this paper, we present an automated technique SWATI: Synthesizing Wordlengths Automatically Using Testing and Induction, which uses a combination of Nelder-Mead optimization bas…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.