@inproceedings{inproceedings, title  = {{A runtime verification framework for dynamically adaptive multi-agent systems}},

 publisher = {{IEEE}},

 url = {{}},

 year = {{2016}},

 month = {{1}},

 author = {{Lim YJ and Gwangui Hong and Donghwan Shin and Eunkyoung Jee and Doo-Hwan Bae}},

 doi = {{10.1109/bigcomp.2016.7425981}},

 journal = {{2016 International Conference on Big Data and Smart Computing (BigComp)}},

 note = {{Accessed on 2024/12/22}}}