Pinned Repositories
AdaptiveDetector
awesome-readme
A curated list of awesome READMEs
benchmarks_SafeEMC
SMT Benchmarks of Hybrid Systems for Verification using SafeEMC
codes4course
codes4course
pattern_automata_code
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
SunandanAdhikary.github.io
My Personal Website
SunandanAdhikary's Repositories
SunandanAdhikary/benchmarks_SafeEMC
SMT Benchmarks of Hybrid Systems for Verification using SafeEMC
SunandanAdhikary/codes4course
codes4course
SunandanAdhikary/pattern_automata_code
SunandanAdhikary/AdaptiveDetector
SunandanAdhikary/awesome-readme
A curated list of awesome READMEs
SunandanAdhikary/Benchmark_SaverECS
SunandanAdhikary/CBF-CLF-HelperV2
Matlab Interface for Control Barrier Function (CBF) and Control Lyapunov Function (CLF) based control methods.
SunandanAdhikary/ControlTuts
All my control system books and tutorials
SunandanAdhikary/dreal3
New version of the dReal solver. More info at
SunandanAdhikary/ELE6953E-CPS-IoT
Material for the course ELE6953E: CPS and IoT at Polytechnique Montreal
SunandanAdhikary/hiprc
Our Lab Website
SunandanAdhikary/SaverECS
SaverECS : A safety verification tool for verification of embedded control software running in closed-loop with plants, under perturbations and different scheduling scenarios.
SunandanAdhikary/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.
SunandanAdhikary/SecurePatternRepo
this is the repo with various systems tested with secure patterns
SunandanAdhikary/SunandanAdhikary.github.io
My Personal Website
SunandanAdhikary/DynamicSchedulingCSA
SunandanAdhikary/Hide-n-Seek-repo
SunandanAdhikary/InfixToPrefix
Code to turn infix into prefix in parenthesised way
SunandanAdhikary/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
SunandanAdhikary/jsonschema2pojo
Generate Java types from JSON or JSON Schema and annotates those types for data-binding with Jackson, Gson, etc
SunandanAdhikary/ML-Murphy
Complete solutions for exercises and MATLAB example codes for "Machine Learning: A Probabilistic Perspective" 1/e by K. Murphy
SunandanAdhikary/PrivateDynamicData.jl
Differentially private dynamic data analysis in Julia
SunandanAdhikary/probreach
Probabilistic reachability and parameter set synthesis for stochastic hybrid systems
SunandanAdhikary/RBFDQN_pytorch
SunandanAdhikary/realsyn
Automated Controller Synthesis
SunandanAdhikary/rest
api and consumer
SunandanAdhikary/safe_near_optimal_mdp
Safe Reinforcement Learning in Constrained Markov Decision Processes
SunandanAdhikary/SafeMDP
Safe exploration in Markov Decision Processes
SunandanAdhikary/SunandanAdhikary
Config files for my GitHub profile.
SunandanAdhikary/WCSAC