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