Comparing Approaches for Model-Checking Strategies Under Imperfect Information and Fairness Constraints
International Journal on Software Tools for Technology Transfer - Germany
doi 10.1007/s10009-018-0505-6
Full Text
Open PDFAbstract
Available in full text
Date
September 28, 2018
Authors
Publisher
Springer Science and Business Media LLC