[Legacy] Fun university project in UPAAL - solves "crossing the river" problem (http://people.cs.aau.dk/~ulrik/teaching/F09/TOV09/modelexercise/modelexercise_files/riverIQGame.swf) and verifies that the solver won't stuck.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool