SvenUmbricht

Pinned Repositories

benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Language:Python00
sv-witnesses
An Exchange Format for Verification Witnesses
Language:Python00
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Language:Python226192
sv-witnesses
An Exchange Format for Verification Witnesses (MOVED, please follow the link)
Language:Python189
marioai
Python interface + RL stack for MarioAI code from https://code.google.com/archive/p/marioai/downloads
Language:Java18

SvenUmbricht's Repositories

SvenUmbricht/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
SvenUmbricht/sv-witnesses
An Exchange Format for Verification Witnesses
Language:Python