Author:
Malvone Vadim,Murano Aniello
Publisher
Springer International Publishing
Reference35 articles.
1. Alur, R., Henzinger, T., Kupferman, O.: Alternating-time temporal logic. J. ACM 49(5), 672–713 (2002)
2. Aminof, B., Malvone, V., Murano, A., Rubin, S.: Extended graded modalities in strategy logic. In: SR 2016, pp. 1–14 (2016)
3. Aminof, B., Malvone, V., Murano, A., Rubin, S.: Graded strategy logic: reasoning about uniqueness of nash equilibria. In: AAMAS 2016, pp. 698–706 (2016)
4. Aminof, B., Murano, A., Rubin, S.: On ctl* with graded path modalities. In: LPAR-20, pp. 281–296 (2015)
5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);F Baader,2015