stuchl4n3k/tvs-7-project
[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.
Discovered public repositories for stuchl4n3k in the GitHub catalog.
[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.
[Legacy] Simple Habari theme with HTML5 support and Twitter Bootstrap CSS.
[Legacy] Geocaching LOC to LMX converter