szdan97

Pinned Repositories

catkin_ws
Language:Python00
frt-paperrace-qlearning
Language:MATLAB00
frt_workspace
Language:CMake00
multiplatform_homework
Language:TypeScript00
probabilistic-theta
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
Language:Java01
szdan97.github.io
00
theta
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
Language:Java5243
remo-lecture-notes
Papyrus tutorial for the Systems Engineering BSc course
Language:CSS20

szdan97's Repositories

szdan97/probabilistic-theta
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
Language:Java1
szdan97/szdan97.github.io
szdan97/multiplatform_homework
Language:TypeScript
szdan97/frt_workspace
Language:CMake
szdan97/catkin_ws
Language:Python
szdan97/frt-paperrace-qlearning
Language:Matlab