psduggirala
Assistant Professor at UNC Chapel Hill. Previously at UConn. Studied at UIUC and IIT Guwahati
University of North Carolina at Chapel Hill
psduggirala's Stars
stanleybak/acasxu_closed_loop_sim
Closed-loop simulation code using ACAS Xu neural networks for collision avoidance
dafny-lang/dafny
Dafny is a verification-aware programming language
Consensys/eth2.0-dafny
Eth2.0 spec in Dafny
stanleybak/f1tenth_gym
This is the repository of the F1TENTH Gym environment.
PoPGRI/Race
Repository for the GRAIC synthesis competition
incandescentman/Emacs-Settings
Emacs for Writers
skousik/RTD_tutorial
Get started with Reachability-based Trajectory Design for static obstacles
kidd/org-gcal.el
Org sync with Google Calendar. (active maintained project as of 2019-11-06)
chardorn/carla_indy
nasa/Kodiak
Library for rigorous verification of non-linear arithmetic
stanleybak/AeroBenchVVPython
Python Version of F-16 Maneuver Verification Benchmark
danielecook/Awesome-Bioinformatics
A curated list of awesome Bioinformatics libraries and software.
Tarheel-Formal-Methods/kaa
A rewrite of Sapo in Python. Kaa is an experimental tool used to compute the reachable set of polynomial non-linear discrete dynamical systems by leveraging parallelotope bundles and Bernstein polynomials.
kbuzzard/xena
Lean Library currently studying for a degree at Imperial College
donsheehy/geomcps
stanleybak/hylaa
Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs