cat-and-mouse model: check of strategy with "under"

6 views

Skip to first unread message

antjero...@gmail.com

unread,

May 6, 2026, 6:47:04 AMMay 6

to UPPAAL

Hi,

I have a question regarding the cat-and-mouse model. I use Version 5.0.0.

I generated the strategies MouseCheese and MouseL12; see the attached screenshot of the verifier. Why are the winning conditions not satisfied under the generated strategies?

I had a look at the MouseL12 strategy, and it seems to me a correct strategy.

Thanks for your help!

Regards
Antje Rogalla