Experiments for 'Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates'

This artifact accompanies the CAV 2025 paper with the title 'Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates'. The zip file in the repository contains two Docker containers, one compatible with AMD/X86 and the other with ARM. After unzipping the main file, the containers can be loaded with:

docker load -i cav25_lograsm.tar (X86/AMD version)
docker load -i cav25_lograsm-arm.tar (ARM version)

Loading this Docker container can take several minutes. Note that only the AMD/X86 version is compatible with CUDA and can be used to run the code on GPU. For more details and installation instructions, we refer to the ReadMe.

Alternatively, you can pull the containers from Dockerhub:

docker pull thombadings/lograsm:v1 (X86/AMD version)
docker pull thombadings/lograsm:v1-arm (ARM version)

Depending on your permissions, you may need to run this command with sudo. Please refer to the ReadMe for more information.

The source code of the docker container is available on GitHub: https://github.com/LAVA-LAB/lograsm.