Bibliography
- AHKOV12
- F. Aarts, F. Heidarian, H. Kuppens, P. Olsen, and F. Vaandrager. Automata learning through counterexample-guided abstraction refinement. In Proceedings of the 18th International Symposium on Formal Methods (FM 2012), volume 7436 of Lecture Notes in Computer Science, pages 10-27. Springer, 2012.
- BDL04
- G. Behrmann, A. David, and K. Larsen. A tutorial on Uppaal. In Formal Methods for the Design of Real-Time Systems, volume 3185 of Lecture Notes in Computer Science, pages 33-35. Springer Berlin/Heidelberg, 2004.
- CTK
- Cut The Knot - Goat, Cabbage and Wolf
- MC
- Math Cats - Crossing the River (with a Wolf, a Goat, and a Cabbage)
