Specification and formal verification of traffic light control system.
-
Updated
Oct 6, 2022 - Java
Specification and formal verification of traffic light control system.
A traffic light detector module that utilizes Faster R-CNN ResNet101 (COCO)
Simple Web Connected Traffic Lights Project to practice SMD soldering, and the process of getting a circuit board printed.
C++,Assembly, VHDL projects (ALU, Calculator advanced, Calculator simple, Planets blinking, Sensor, Traffic lights)
Some basic C# code created during my time at College
App desenvolvido com React Native para simular um semáforo.
Measure air quality and represent it with Traffic Light LEDs
OpenCV Python program that identifies traffic lights and their state (red, green, yellow) from dash cam photos
A MakeCode project: simple traffic lights for the BBC micro:bit computer interfaced with an Osoyoo sensors & devices STEM kit.
Traffic Light Classifer Project from the Udacity Intro to Self-Driving Cars Nanodegree
Comparison between Artificial Intelligence handled traffic lights and manual or cycle based changing lights.
A simple implementation of the Traffic Lights board game
Yolo algorithm applied on a video file so as to detect cars, traffic lights and a few other classes.
University project to simulate a single traffic light, a T junction, and a T junction with a pedestrian crossing.
A Windows Form application that simulates both independent and "related" traffic lights in junctions with timers.
The Traffic Light control system for the MetroTechno systems set.
Pedestrian traffic light image dataset (Germany)
Add a description, image, and links to the traffic-lights topic page so that developers can more easily learn about it.
To associate your repository with the traffic-lights topic, visit your repo's landing page and select "manage topics."