Author:
Malvone Vadim,Mogavero Fabio,Murano Aniello,Sorrentino Loredana
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. CTL* with graded path modalities;Information and Computation;2018-10
2. Graded modalities in Strategy Logic;Information and Computation;2018-08
3. Additional Winning Strategies in Reachability Games*†;Fundamenta Informaticae;2018-03-07
4. Reasoning About Additional Winning Strategies in Two-Player Games;Multi-Agent Systems and Agreement Technologies;2018
5. Extended Graded Modalities in Strategy Logic;Electronic Proceedings in Theoretical Computer Science;2016-07-10