sunandanadhikary Goto Github PK

adaptivedetector

awesome-readme

A curated list of awesome READMEs

benchmark_saverecs

benchmarks_safeemc

SMT Benchmarks of Hybrid Systems for Verification using SafeEMC

cbf-clf-helperv2

Matlab Interface for Control Barrier Function (CBF) and Control Lyapunov Function (CLF) based control methods.

codes4course

codes4course

controltuts

All my control system books and tutorials

differentialprivacy-course

dreal3

New version of the dReal solver. More info at

dynamicschedulingcsa

ele6953e-cps-iot

Material for the course ELE6953E: CPS and IoT at Polytechnique Montreal

hide-n-seek-repo

hiprc

Our Lab Website

infix-to-prefix-converter

A C++ source code/program that will convert an expression in infix notation to to the equivalent expression in prefix (polish) notation. (C++)

infixtoprefix

Code to turn infix into prefix in parenthesised way

jackson-dataformat-xml

Extension for Jackson JSON processor that adds support for serializing POJOs as XML (and deserializing from XML) as an alternative to JSON

jsonschema2pojo

Generate Java types from JSON or JSON Schema and annotates those types for data-binding with Jackson, Gson, etc

ml-murphy

Complete solutions for exercises and MATLAB example codes for "Machine Learning: A Probabilistic Perspective" 1/e by K. Murphy

pattern_automata_code

ppa-updater

Ubuntu PPA updater for dReal

privatedynamicdata.jl

Differentially private dynamic data analysis in Julia

probreach

Probabilistic reachability and parameter set synthesis for stochastic hybrid systems

rbfdqn_pytorch

realsyn

Automated Controller Synthesis

rest

api and consumer

safe_near_optimal_mdp

Safe Reinforcement Learning in Constrained Markov Decision Processes

safemdp

Safe exploration in Markov Decision Processes

saverecs

SaverECS : A safety verification tool for verification of embedded control software running in closed-loop with plants, under perturbations and different scheduling scenarios.

saverecs.github.io

SaverECS : A safety verification tool for verification of embedded control software running in closed-loop with plants, under perturbations and different scheduling scenarios.

securepatternrepo

this is the repo with various systems tested with secure patterns