◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Manish Goyal

University of North Carolina at Chapel Hill

5 papers hereh-index 456 citations13 works total

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

author position
  • first author4
  • middle author1

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

fields
  • eess.SY3
  • cs.RO1
  • cs.SE1
affiliations
  • University of North Carolina at Chapel Hill

identity via Semantic Scholar / OpenAlex

activity
20202023
most citedDirect Construction of Program Alignment Automata for Equivalence Checking

1 citations · 1 across the 4 of their papers we have counts for

collaborators
Showing 2023Show all

1 paper · 1 filter

eess.SY2023

BDD for Complete Characterization of a Safety Violation in Linear Systems with Inputs

Manish Goyal, David Bergman, Parasara Sridhar Duggirala

The control design tools for linear systems typically involves pole placement and computing Lyapunov functions which are useful for ensuring stability. But given higher requirement…

◍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.