nikos-kekatos

Pinned Repositories

Imitation-Learning-Paper-Lists
Paper Collection for Imitation Learning in RL.
10
NNCS_matlab
Language:MATLAB30
SL2SX
Language:Java6 1 13
SpaceEx-tutorials
SpaceEx tutorials and features
Language:Jupyter Notebook1 2 22

nikos-kekatos's Repositories

nikos-kekatos/SL2SX
Language:Java6 1 13
nikos-kekatos/NNCS_matlab
Language:MATLAB30
nikos-kekatos/Imitation-Learning-Paper-Lists
Paper Collection for Imitation Learning in RL.
10
nikos-kekatos/SpaceEx-tutorials
SpaceEx tutorials and features
Language:Jupyter Notebook1 2 22
nikos-kekatos/AV-simulation
Case study of Autonomous Vehicle lane change scenario using Unity
Language:C#00
nikos-kekatos/carlin
Carleman linearization of polynomial differential equations in SageMath.
Language:Python00
nikos-kekatos/AUF1Tenth
The code repository of the AU F1Tenth team
nikos-kekatos/calib_challenge
The comma.ai Calibration Challenge!
nikos-kekatos/file_exchange_NK_TH
Language:C++
nikos-kekatos/fmiSwap
fmiSWAP
nikos-kekatos/GameEngines-OpenCL
Language:Makefile0 0
nikos-kekatos/iPRV-DejaVu
The DejaVu runtime verification system employs BDDs (Binary Decision Diagrams) to store data from observed events. This enhanced version of DejaVu offers predictions based on isomorphic classes for the forthcoming k steps.
nikos-kekatos/LazySets.jl
A Julia package for calculus with convex sets
Language:Julia0 0
nikos-kekatos/Matlab-SpaceEx
Language:Matlab0 1
nikos-kekatos/NNequiv_Experiments
Language:Python
nikos-kekatos/SapoForNN
Language:Python
nikos-kekatos/SpaceEx-Benchmarks
Language:Jupyter Notebook0 01
nikos-kekatos/SX.jl
SpaceEx modeling language parser
Language:Julia