TAS Publications

@inproceedings{soton450789,

title = {Formal Methods to Verify and Ensure Self-Coordination Abilities in the Internet of Vehicles},

author = {Vahid Yazdanpanah and Enrico Gerding and Sebastian Stein},

url = {https://eprints.soton.ac.uk/450789/},

year  = {2021},

date = {2021-07-01},

booktitle = {Computational Logistics: 12th International Conference, ICCL 2021, Enschede, The Netherlands, September 27?29, 2021, Proceedings},

publisher = {Springer},

keywords = {Computational Logic, Formal Reasoning, Internet of Vehicles, Multi-Agent Systems, Self-Coordination, Smart Logistics},

pubstate = {published},

tppubtype = {inproceedings}

}