TAMAA: timed automata based mission planner for multiple autonomous agents - Version20210917 download UPPAAL from: https://uppaal.org/, and put the binaries in bin-Linux into sh/uppaal. run "chmod +x prepare.sh" run "./prepare.sh" run "./server" input "quit" if one wants to exit the program