Publisher
Springer Nature Switzerland
Reference41 articles.
1. de Alfaro, L., Henzinger, T.A., Majumdar, R.: From verification to control: dynamic programs for omega-regular objectives. In: LICS, pp. 279–290. IEEE Computer Society (2001)
2. Althoff, C.S., Thomas, W., Wallmeier, N.: Observations on determinization of büchi automata. Theor. Comput. Sci. 363(2), 224–233 (2006)
3. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49(5), 672–713 (2002)
4. Bacchus, F., Kabanza, F.: Planning for temporally extended goals. Ann. Math. Artif. Intell. 22(1–2), 5–27 (1998)
5. Baier, C., Katoen, J.: Principles of Model Checking. MIT Press, Cambridge (2008)