Get-Me-Out Puzzle as One Player Reachability Game
Publisher
Springer Netherlands
Reference6 articles.
1. Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)
2. http://nusmv.fbk.eu/
3. Vardi, M.Y.: An automata-theoretic approach to linear temporal logic. In: Proceedings of banff higher order workshop, pp. 238–266 (1995)
4. Stirling, C.P.: Modal and temporal properties of processes. Springer, Heidelberg (2001)
5. Wongpiromsarn, T., et al.: Formal synthesis of embedded control software: Application to vehicle management systems. In: Proceedings of AAAI (2011)