Project Description

LibRT has been present at the NETHERLANDS / BELGIUM CONFERENCE ON ARTIFICIAL INTELLIGENCE (BNAIC) in Maastricht, the third and fourth of November. We have given a demonstration of our Verification tool: VALENS.