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

Name		Name	Last commit message	Last commit date
Latest commit History 32 Commits
result		result
sh		sh
xml		xml
Readme.md		Readme.md
agent.cpp		agent.cpp
agent.h		agent.h
common.h		common.h
communication.cpp		communication.cpp
communication.h		communication.h
prepare.sh		prepare.sh
server		server
server.cpp		server.cpp
server.h		server.h
tracer.cpp		tracer.cpp
tracer.h		tracer.h
xmlHandler.cpp		xmlHandler.cpp
xmlHandler.h		xmlHandler.h

Provide feedback