@misc{alrahman2022rcheck,
      title={R-CHECK: A Model Checker for Verifying Reconfigurable MAS}, 
      author={Yehia Abd Alrahman and Shaun Azzopardi and Nir Piterman},
      year={2022},
      eprint={2201.06312},
      archivePrefix={arXiv},
      primaryClass={cs.LO},
      booktitle={arXiv},
      url={https://arxiv.org/abs/2201.06312}
}

{"_id":"5SpdDiYkMxkpaiGsW","bibbaseid":"alrahman-azzopardi-piterman-rcheckamodelcheckerforverifyingreconfigurablemas-2022","author_short":["Alrahman, Y. A.","Azzopardi, S.","Piterman, N."],"bibdata":{"bibtype":"misc","type":"misc","title":"R-CHECK: A Model Checker for Verifying Reconfigurable MAS","author":[{"firstnames":["Yehia","Abd"],"propositions":[],"lastnames":["Alrahman"],"suffixes":[]},{"firstnames":["Shaun"],"propositions":[],"lastnames":["Azzopardi"],"suffixes":[]},{"firstnames":["Nir"],"propositions":[],"lastnames":["Piterman"],"suffixes":[]}],"year":"2022","eprint":"2201.06312","archiveprefix":"arXiv","primaryclass":"cs.LO","booktitle":"arXiv","url":"https://arxiv.org/abs/2201.06312","bibtex":"@misc{alrahman2022rcheck,\n title={R-CHECK: A Model Checker for Verifying Reconfigurable MAS}, \n author={Yehia Abd Alrahman and Shaun Azzopardi and Nir Piterman},\n year={2022},\n eprint={2201.06312},\n archivePrefix={arXiv},\n primaryClass={cs.LO},\n booktitle={arXiv},\n url={https://arxiv.org/abs/2201.06312}\n}\n\n","author_short":["Alrahman, Y. A.","Azzopardi, S.","Piterman, N."],"key":"alrahman2022rcheck","id":"alrahman2022rcheck","bibbaseid":"alrahman-azzopardi-piterman-rcheckamodelcheckerforverifyingreconfigurablemas-2022","role":"author","urls":{"Paper":"https://arxiv.org/abs/2201.06312"},"metadata":{"authorlinks":{}}},"bibtype":"misc","biburl":"https://raw.githubusercontent.com/shaunazzopardi/shaunazzopardi.github.io/master/pubs.bib","dataSources":["mtLriRvYqkiErXwmg","dBCbAowrXBj8Z9xpg","vJCA4F4i8NeGCqowF"],"keywords":[],"search_terms":["check","model","checker","verifying","reconfigurable","mas","alrahman","azzopardi","piterman"],"title":"R-CHECK: A Model Checker for Verifying Reconfigurable MAS","year":2022}