Securityweek Physical Side-Channels Lab
Tool to generate mdp in PRISM language from experiments in CARLA