Pinned Repositories
AStar_and_PRM_Planning_Analysis
Implementation of the A* / Dijkstra search algorithms, a Probabilistic Roadmap (PRM) Planner with path smoothing, and a statistical benchmarking suite
bugAlgorithms_and_kinematics
Implementation of Bug Algorithms and Basic Forwards / Inverse Kinematics Equations.
GAIL-Formal_Methods
A docker environment and notebooks to experiment with Generative Adversarial Imitation Learning and Formal Methods
NeuralMooreMachine_Experiments
A docker environment and notebooks to experiment with the extraction of moore machines from RNN RL policies
salve
exploring safety techniques with stable diffusion in keras-cv
ssh-analysis
Python-based tools to parse ssh access logs, do robust GeoIP lookups, and visualize the results using streamlit
SVM-Facial-Recognition
MATLAB Implementation of the SVM and Eigenface/Fishcerface Algorithms for Facial Recognition.
VANTAGE_Simulation
A YAML-powered Python project to interface with C4D / Blensor to simulate sensor output during the deployment of CubeSats from a NanoRacks ISS deployer.
wombats_experiments
Experiments with the flexfringe and wombats grammatical inference frameworks
nicholasRenninger's Repositories
nicholasRenninger/AStar_and_PRM_Planning_Analysis
Implementation of the A* / Dijkstra search algorithms, a Probabilistic Roadmap (PRM) Planner with path smoothing, and a statistical benchmarking suite
nicholasRenninger/VANTAGE_Simulation
A YAML-powered Python project to interface with C4D / Blensor to simulate sensor output during the deployment of CubeSats from a NanoRacks ISS deployer.
nicholasRenninger/bugAlgorithms_and_kinematics
Implementation of Bug Algorithms and Basic Forwards / Inverse Kinematics Equations.
nicholasRenninger/GAIL-Formal_Methods
A docker environment and notebooks to experiment with Generative Adversarial Imitation Learning and Formal Methods
nicholasRenninger/cSpaceViz_Gradient_Wavefront_planners
Implementation of a 2-D 2DoF manipulator configuration space visualizer, as well as implementations of a gradient descent and wavefront planner for this manipulator.
nicholasRenninger/dfasat
*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, but also offers a flexible interface to easily add custom merge heuristics. It is based on Sicco Verwer's implementation of a state-merger in C++ called dfasat.
nicholasRenninger/rti_plus
Sicco Werver's implementation of an algorithm for learning real-time automata from unlabeled data based on the likelihood ratio test.
nicholasRenninger/salve
exploring safety techniques with stable diffusion in keras-cv
nicholasRenninger/autonomousCarControlSynthesis
LTL to Control Synthesis (using formal methods concepts) Framework for a Basic Highway Driving Scenario
nicholasRenninger/CSCI_5922_Final_Project_Report
nicholasRenninger/DeepLearning_with_Ralphie
Materials for the CU graduate course on deep learning.
nicholasRenninger/monokaiC
A Monokai theme for Sublime Text providing both colored and text-style preview for Markdown editing.
nicholasRenninger/Motion-Planning-Projects
A collection of motion planning projects in Python 3 and YAML
nicholasRenninger/ObjectDetection
Serves as the hub for code related to software feasibility analysis for PDR
nicholasRenninger/rti
Sicco Werver's implementation of an algorithm for learning real-time automata from labeled data.
nicholasRenninger/ssh-analysis
Python-based tools to parse ssh access logs, do robust GeoIP lookups, and visualize the results using streamlit
nicholasRenninger/VANTAGE
nicholasRenninger/wombats_experiments
Experiments with the flexfringe and wombats grammatical inference frameworks
nicholasRenninger/NeuralMooreMachine_Experiments
A docker environment and notebooks to experiment with the extraction of moore machines from RNN RL policies
nicholasRenninger/ASEN6519-DMU-Project-Paper
Decision-making Under Uncertainty Final Project Paper.
nicholasRenninger/Blender_Addon_-_Outliner_Extend_Keys
[Blender Addon] Outliner Extend Keys
nicholasRenninger/carFollowingRTISandbox
A sandbox for personal experiments with the carFollowingRTI repository
nicholasRenninger/gitignore
A collection of useful .gitignore templates
nicholasRenninger/ifm3d
Library and Utilities for working with ifm pmd-based 3D ToF Cameras
nicholasRenninger/ifm3d-examples
Example programs which utilize the ifm3d library
nicholasRenninger/iTerm2-Color-Schemes
Over 200 terminal color schemes/themes for iTerm/iTerm2. Includes ports to Terminal, Konsole, PuTTY, Xresources, XRDB, Remina, Termite, XFCE, Tilda, FreeBSD VT, Terminator, Kitty, MobaXterm, LXTerminal, compatible with Microsoft's terminal
nicholasRenninger/lingeling
Lingeling SAT Solver
nicholasRenninger/pfacc
Probabilistic Formal Autonomous Car Control
nicholasRenninger/RL-tutorial
nicholasRenninger/wombats
The wombats grammatical inference library.