dreossi

CS postdoc @UCBerkeley

@UCBerkeleyBerkeley, CA

Pinned Repositories

analyzeNN
Language:Jupyter Notebook18 4 18
autobea
Language:Matlab00
c_uart_interface_example
Simple MAVLink to UART interface example for *nix systems
Language:C++00
canapest
Language:Python22
dreossi.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Language:JavaScript00
FalsifCPSML
Compositional falsification framework for cyber-pysical systems with machine learning components
Language:Python5 2 17
Firmware
PX4 Pro Autopilot Software
Language:C++00
fm-deadlines
:alarm_clock: Formal Methods (FM) conference deadline countdowns
Language:HTML00
opal
Language:Python22
tinyCNN
Language:Matlab52

dreossi's Repositories

dreossi/analyzeNN
Language:Jupyter Notebook18 4 18
dreossi/FalsifCPSML
Compositional falsification framework for cyber-pysical systems with machine learning components
Language:Python5 2 17
dreossi/tinyCNN
Language:Matlab52
dreossi/canapest
Language:Python22
dreossi/opal
Language:Python22
dreossi/autobea
Language:Matlab00
dreossi/c_uart_interface_example
Simple MAVLink to UART interface example for *nix systems
Language:C++00
dreossi/Firmware
PX4 Pro Autopilot Software
Language:C++00
dreossi/fm-deadlines
:alarm_clock: Formal Methods (FM) conference deadline countdowns
Language:HTML00
dreossi/fresh
Keep your dotfiles fresh.
Language:Ruby
dreossi/PatrolImprovisation
Language:Matlab
dreossi/py-metric-temporal-logic
Python library for working with Metric Temporal Logic (MTL)
dreossi/RobotAdapter
Language:Matlab
dreossi/screenapp
Language:Python2 0
dreossi/sleepSound
pseudo-random music generator
Language:Python