@inproceedings{Chen_2007,
    doi = {10.1109/fskd.2007.458},
    url = {https://doi.org/10.1109%2Ffskd.2007.458},
    year = {2007},
    publisher = {{IEEE}},
    author = {Taolue Chen and Jian Lu},
    title = {Probabilistic Alternating-time Temporal Logic and Model Checking Algorithm},
    booktitle = {Fourth International Conference on Fuzzy Systems and Knowledge Discovery ({FSKD} 2007)}
}

@inproceedings{Chen_2007, doi = {10.1109/fskd.2007.458}, url = {https://doi.org/10.1109%2Ffskd.2007.458}, year = {2007}, publisher = {{IEEE}}, author = {Taolue Chen and Jian Lu}, title = {Probabilistic Alternating-time Temporal Logic and Model Checking Algorithm}, booktitle = {Fourth International Conference on Fuzzy Systems and Knowledge Discovery ({FSKD} 2007)} }