MuvvalaKaran
Making robots safer and smarter one-step at a time
University of Colorado BoulderBoulder, CO
Pinned Repositories
PDDLtoSim
Source code for abstraction construction from PDDL, strategy synthesis, and visualization using Pybullet
regret_synthesis_toolbox
Source code for Regret synthesis for two-player turn-based game played on graphs - ICRA 22
ANNforEngineEmissionPrediction
Implemented the Neural Network Toolbox to Predict the Engine Emission Values and Plot the error graph.
Awesome_Quadrupedal_Robots
Awesome Quadrupedal Robots
Condition-Momitoring-using-IoT
BE Final Project
conference-datasets
PDDL files used for Illustration and Benchmarking
CoRL
Correct-by-synthesis reinforcement learning with temporal logic constraints (CoRL)
Learn-PDDL
A repository containing personal notes on getting started with Planning Domain Definition Language(PDDL)
LTLCtrlSyn
Synthesis of a controller for system with linear dynamics using restricted LTL formula
muvvalakaran.github.io
Source code for my academic page: https://muvvalakaran.github.io/
MuvvalaKaran's Repositories
MuvvalaKaran/CoRL
Correct-by-synthesis reinforcement learning with temporal logic constraints (CoRL)
MuvvalaKaran/LTLCtrlSyn
Synthesis of a controller for system with linear dynamics using restricted LTL formula
MuvvalaKaran/ANNforEngineEmissionPrediction
Implemented the Neural Network Toolbox to Predict the Engine Emission Values and Plot the error graph.
MuvvalaKaran/Learn-PDDL
A repository containing personal notes on getting started with Planning Domain Definition Language(PDDL)
MuvvalaKaran/muvvalakaran.github.io
Source code for my academic page: https://muvvalakaran.github.io/
MuvvalaKaran/Awesome_Quadrupedal_Robots
Awesome Quadrupedal Robots
MuvvalaKaran/Condition-Momitoring-using-IoT
BE Final Project
MuvvalaKaran/conference-datasets
PDDL files used for Illustration and Benchmarking
MuvvalaKaran/FAS
A Collection of optimized implementations of algorithms for the Feedback Arc Set problem
MuvvalaKaran/GitHubGraduation-2021
Join the GitHub Graduation Yearbook and "walk the stage" on June 5.
MuvvalaKaran/Cruiser
1/10th scale autonomous car
MuvvalaKaran/cudd_and_wrapper
CUDD3.1.0 and PyDD Wrapper
MuvvalaKaran/FOND4LTLf
FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
MuvvalaKaran/gridworld_visualizer
Small library for visualizing gridworlds by generating svgs styled and animated by css.
MuvvalaKaran/hugo-academic-fork
🎓 Hugo Academic Theme. Easily create a beautiful academic résumé or educational website using Hugo, GitHub, and Netlify.
MuvvalaKaran/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/MuvvalaKaran
Github profile README repo
MuvvalaKaran/nn_cbf_visualize_learned_policies
This repository complements the NN-cbf repository and has various functionalities for plotting and visualizing the learned behavior
MuvvalaKaran/OldMuvvalaKaran.github.io
My personal website hosted on Github
MuvvalaKaran/prism-games
The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
MuvvalaKaran/prism-games-experimental
Load SMG files using explict file mode along player file
MuvvalaKaran/Py4e
PagreRank Algorithm
MuvvalaKaran/pybullet-planning
PyBullet Planning
MuvvalaKaran/slugs
SmalL bUt Complete GROne Synthesizer
MuvvalaKaran/stochastic_games_for_robotics_code
Fork ICRA 24 code for PRISM Explicit File construction
MuvvalaKaran/summer_20_data_structures
A personal repository for work done following the assignments in CSCI 2270-Data Structures course taught at CU Boulder
MuvvalaKaran/website
Lab website 2.0
MuvvalaKaran/wombats
The wombats grammatical inference library.