SEED Labs developed in the last 20 years.

🕖 A curated list of awesome time series databases, benchmarks and papers

List of papers, code and experiments using deep learning for time series forecasting

👉 CARLA resources such as tutorial, blog, code and etc https://github.com/carla-simulator/carla

Python sample codes and textbook for robotics algorithms.

This is the code for "How to Simulate a Self-Driving Car" by Siraj Raval on Youtube

Deadline countdowns for academic conferences in Security and Privacy

TCAS simulator

TCAS simulator (Integrated Avionics Systems project)

AppRoxImation-based TEst generatiOn

ArduPlane, ArduCopter, ArduRover, ArduSub source

PX4 Autopilot Software

🚨 GROW YOUR AUDIENCE WITH HUGOBLOX! 🚀 HugoBlox is an easy, fast no-code website builder for researchers, entrepreneurs, data scientists, and developers. Build stunning sites in minutes. 适合研究人员、企业家、…

[PLDI 19'] An Inductive Synthesis Framework for Verifiable Reinforcement Learning

"Opening Pandora's Box through ATFuzzer: Dynamic Analysis of AT Interface for Android Smartphones" ACSAC 2019

All Algorithms implemented in Python