Karan Muvvala's repositories
LTLCtrlSyn
Synthesis of a controller for system with linear dynamics using restricted LTL formula
ANNforEngineEmissionPrediction
Implemented the Neural Network Toolbox to Predict the Engine Emission Values and Plot the error graph.
Learn-PDDL
A repository containing personal notes on getting started with Planning Domain Definition Language(PDDL)
muvvalakaran.github.io
Source code for my academic page: https://muvvalakaran.github.io/
Awesome_Quadrupedal_Robots
Awesome Quadrupedal Robots
Condition-Momitoring-using-IoT
BE Final Project
conference-datasets
PDDL files used for Illustration and Benchmarking
FAS
A Collection of optimized implementations of algorithms for the Feedback Arc Set problem
GitHubGraduation-2021
Join the GitHub Graduation Yearbook and "walk the stage" on June 5.
Cruiser
1/10th scale autonomous car
cudd_and_wrapper
CUDD3.1.0 and PyDD Wrapper
FOND4LTLf
FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
gridworld_visualizer
Small library for visualizing gridworlds by generating svgs styled and animated by css.
hugo-academic-fork
🎓 Hugo Academic Theme. Easily create a beautiful academic résumé or educational website using Hugo, GitHub, and Netlify.
Kalman-and-Bayesian-Filters-in-Python
Kalman Filter book using Jupyter Notebook. Focuses on building intuition and experience, not formal proofs. Includes Kalman filters,extended Kalman filters, unscented Kalman filters, particle filters, and more. All exercises include solutions.
MuvvalaKaran
Github profile README repo
nn_cbf_visualize_learned_policies
This repository complements the NN-cbf repository and has various functionalities for plotting and visualizing the learned behavior
OldMuvvalaKaran.github.io
My personal website hosted on Github
prism-games
The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
prism-games-experimental
Load SMG files using explict file mode along player file
Py4e
PagreRank Algorithm
pybullet-planning
PyBullet Planning
slugs
SmalL bUt Complete GROne Synthesizer
stochastic_games_for_robotics_code
Fork ICRA 24 code for PRISM Explicit File construction
summer_20_data_structures
A personal repository for work done following the assignments in CSCI 2270-Data Structures course taught at CU Boulder
website
Lab website 2.0
wombats
The wombats grammatical inference library.