B

bt-nusmv-eg

Solving Symbolic Energy Games with NuSMV