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}

}

@inproceedings{soton447511,

title = {Responsibility Research for Trustworthy Autonomous Systems},

author = {Vahid Yazdanpanah and Enrico Gerding and Sebastian Stein and Mehdi Dastani and Catholijn M. Jonker and Timothy J. Norman},

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

doi = {10.48448/w5y9-qk13},

year  = {2021},

date = {2021-05-01},

booktitle = {20th International Conference on Autonomous Agents and Multiagent Systems (03/05/21 - 07/05/21)},

pages = {57--62},

keywords = {Human-Agent Collectives, Human-Centred AI, Multi-Agent Systems, Responsibility Reasoning, Trustworthy Autonomous Systems},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{soton449404,

title = {Formal methods for responsibility reasoning in multi-agent systems},

author = {Vahid Yazdanpanah and Mehdi Dastani},

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

year  = {2021},

date = {2021-04-01},

booktitle = {Third International Workshop on Formal Methods in Artificial Intelligence (FMAI 2021) (15/04/21 - 16/04/21)},

keywords = {Artificial Intelligence, Collaboration, Formal Methods, Multi-Agent Systems},

pubstate = {published},

tppubtype = {inproceedings}

}