Pinned Repositories
formal_LDL
Slusarz_BSc_thesis
A repository containing Bsc (Hons) project (including the written thesis and tool developed alongside it) by Natalia Ślusarz.
vehicle
A toolkit for enforcing logical specifications on neural networks
ndslusarz's Repositories
ndslusarz/formal_LDL
ndslusarz/Slusarz_BSc_thesis
A repository containing Bsc (Hons) project (including the written thesis and tool developed alongside it) by Natalia Ślusarz.