bakirtzisg

Georgios Bakirtzis's repositories

A vulnerability assessment tool for system models

Language:PythonBSD-3-Clause13 1 1

A security dashboard for analyzing cyber-physical system designs

Language:JavaBSD-3-Clause13 30

Reinforcement learning, compositionally

Language:JuliaBSD-3-Clause9 1 6

Specifying contracts compositionally

Language:JuliaBSD-2-Clause4 30

Language:PythonBSD-3-Clause2 10

Compositional arm robot learning

Language:Python100

Reinforcement learning generalization, categorically

Language:Python100

A GraphML exporter for MagicDraw SysML

Language:GroovyBSD-3-Clause1 20

Advice for writing LaTeX documents

Language:TeX000

An Emacs minor mode for literate & annotated bibliography

Language:Emacs LispGPL-3.0000