Pinned Repositories
AlgebraicContracts.jl
Specifying contracts compositionally
AlgebraicRL.jl
Reinforcement learning, compositionally
ComposeX
Compositional arm robot learning
cybok-cli
A vulnerability assessment tool for system models
dynamic-certification
GeneralizeX
Reinforcement learning generalization, categorically
graphml_export
A GraphML exporter for MagicDraw SysML
latex-advice
Advice for writing LaTeX documents
org-bib-mode
An Emacs minor mode for literate & annotated bibliography
security-analyst-dashboard
A security dashboard for analyzing cyber-physical system designs
bakirtzisg's Repositories
bakirtzisg/cybok-cli
A vulnerability assessment tool for system models
bakirtzisg/security-analyst-dashboard
A security dashboard for analyzing cyber-physical system designs
bakirtzisg/AlgebraicRL.jl
Reinforcement learning, compositionally
bakirtzisg/AlgebraicContracts.jl
Specifying contracts compositionally
bakirtzisg/dynamic-certification
bakirtzisg/ComposeX
Compositional arm robot learning
bakirtzisg/GeneralizeX
Reinforcement learning generalization, categorically
bakirtzisg/graphml_export
A GraphML exporter for MagicDraw SysML
bakirtzisg/latex-advice
Advice for writing LaTeX documents
bakirtzisg/org-bib-mode
An Emacs minor mode for literate & annotated bibliography