%0 Journal Article %1 journals/jifs/MuLLLGW23 %A Mu, Yongan %A Liu, Wei %A Lu, Tao %A Li, Juan %A Gao, Sheng %A Wang, Zihao %D 2023 %J J. Intell. Fuzzy Syst. %K dblp %N 6 %P 10305-10322 %T Runtime verification of self-adaptive multi-agent system using probabilistic timed automata. %U http://dblp.uni-trier.de/db/journals/jifs/jifs45.html#MuLLLGW23 %V 45

@article{journals/jifs/MuLLLGW23, added-at = {2024-03-18T00:00:00.000+0100}, author = {Mu, Yongan and Liu, Wei and Lu, Tao and Li, Juan and Gao, Sheng and Wang, Zihao}, biburl = {https://www.bibsonomy.org/bibtex/216b11921e77910c775764be905581951/dblp}, ee = {https://doi.org/10.3233/jifs-232397}, interhash = {b2fd248c21ae0c34e7efe1c223598b87}, intrahash = {16b11921e77910c775764be905581951}, journal = {J. Intell. Fuzzy Syst.}, keywords = {dblp}, month = {December}, number = 6, pages = {10305-10322}, timestamp = {2024-04-08T10:39:51.000+0200}, title = {Runtime verification of self-adaptive multi-agent system using probabilistic timed automata.}, url = {http://dblp.uni-trier.de/db/journals/jifs/jifs45.html#MuLLLGW23}, volume = 45, year = 2023 }