Comparing approaches for model-checking strategies under imperfect information and fairness constraints-Reference-Cited by-同舟云学术

Comparing approaches for model-checking strategies under imperfect information and fairness constraints

Published:2018-09-28 Issue:4 Volume:21 Page:449-469
ISSN:1433-2779
Container-title:International Journal on Software Tools for Technology Transfer
language:en
Short-container-title:Int J Softw Tools Technol Transfer

Author:

Busard Simon,Pecheur Charles,Qu Hongyang,Raimondi Franco

Publisher

Springer Science and Business Media LLC

Subject

Information Systems,Software

Link

http://link.springer.com/content/pdf/10.1007/s10009-018-0505-6.pdf

Reference29 articles.

1. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49(5), 672–713 (2002). https://doi.org/10.1145/585265.585270

2. Bozianu, R., Dima, C., Filiot, E.: Safraless synthesis for epistemic temporal specifications. In: Biere, A., Bloem, R. (eds.) Computer Aided Verification. Lecture Notes in Computer Science, vol. 8559, pp. 441–456. Springer, Berlin (2014). https://doi.org/10.1007/978-3-319-08867-9_29

3. Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Trans. Comput. 100(8), 677–691 (1986)

4. Bulling, N., Jamroga, W.: Comparing variants of strategic ability: how uncertainty and memory influence general properties of games. Auton. Agents Multi-Agent Syst. 28(3), 474–518 (2014). https://doi.org/10.1007/s10458-013-9231-3

5. Busard, S.: Symbolic model checking of multi-modal logics: uniform strategies and rich explanations. Ph.D. thesis, Université catholique de Louvain (2017)

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. ATLDesigner: ATL Model Checking Using An Attribute Grammar;International Journal of Software Engineering and Knowledge Engineering;2022-08

2. Network Crawler Technology Based on Python Under Information;Lecture Notes in Electrical Engineering;2021