print · source · login   

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)