# 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.

- **Canonical URL**: https://githubrepo.cloud/repo/stuchl4n3k/tvs-7-project
- **GitHub Repository**: https://github.com/stuchl4n3k/tvs-7-project
- **Maintainer / Creator**: https://github.com/stuchl4n3k
- **Discovered On**: Sep 26, 2026

---
*Indexed by GitHubRepo (https://githubrepo.cloud). Real-time open-source discovery & telemetry.*