*Fork* flexfringe is a tool for learning finite state machines, also known as deterministic finite automata. It brings common merge heuristics such as alergia, EDSM, likelihood-ratio, and others, b…

exploring safety techniques with stable diffusion in keras-cv

Materials for the CU graduate course on deep learning.

Python-based tools to parse ssh access logs, do robust GeoIP lookups, and visualize the results using streamlit

The wombats grammatical inference library.

Experiments with the flexfringe and wombats grammatical inference frameworks

A docker environment and notebooks to experiment with the extraction of moore machines from RNN RL policies

A docker environment and notebooks to experiment with Generative Adversarial Imitation Learning and Formal Methods

Decision-making Under Uncertainty Final Project Paper.

Probabilistic Formal Autonomous Car Control

A collection of motion planning projects in Python 3 and YAML

A YAML-powered Python project to interface with C4D / Blensor to simulate sensor output during the deployment of CubeSats from a NanoRacks ISS deployer.

Implementation of the A* / Dijkstra search algorithms, a Probabilistic Roadmap (PRM) Planner with path smoothing, and a statistical benchmarking suite

Implementation of a 2-D 2DoF manipulator configuration space visualizer, as well as implementations of a gradient descent and wavefront planner for this manipulator.

Implementation of Bug Algorithms and Basic Forwards / Inverse Kinematics Equations.

Sicco Werver's implementation of an algorithm for learning real-time automata from labeled data.

A sandbox for personal experiments with the carFollowingRTI repository

Sicco Werver's implementation of an algorithm for learning real-time automata from unlabeled data based on the likelihood ratio test.

LTL to Control Synthesis (using formal methods concepts) Framework for a Basic Highway Driving Scenario