Multiagent strategic reasoning in the IoV: A logic-based approach
Multiagent strategic reasoning in the IoV: A logic-based approach
Multiagent Systems, Coordination and Control, Internet of Vehicles (IoV), Strategic Reasoning, Formal Methods, temporal logics
Yazdanpanah, Vahid
28f82058-5e51-4f56-be14-191ab5767d56
Stein, Sebastian
cb2325e7-5e63-475e-8a69-9db2dfbdb00b
Gerding, Enrico H.
d9e92ee5-1a8c-4467-a689-8363e7743362
schraefel, m.c.
ac304659-1692-47f6-b892-15113b8c929f
Yazdanpanah, Vahid
28f82058-5e51-4f56-be14-191ab5767d56
Stein, Sebastian
cb2325e7-5e63-475e-8a69-9db2dfbdb00b
Gerding, Enrico H.
d9e92ee5-1a8c-4467-a689-8363e7743362
schraefel, m.c.
ac304659-1692-47f6-b892-15113b8c929f
Yazdanpanah, Vahid, Stein, Sebastian, Gerding, Enrico H. and schraefel, m.c.
(2021)
Multiagent strategic reasoning in the IoV: A logic-based approach.
ACM Collective Intelligence Conference 2021 (CI-2021), Virtual, Copenhagen, Denmark.
29 - 30 Jun 2021.
4 pp
.
(In Press)
Record type:
Conference or Workshop Item
(Paper)
Text
Multiagent_SR_IoV_CI21
- Accepted Manuscript
Restricted to Repository staff only
Request a copy
Text
Multiagent Strategic Reasoning in the IoV _ A Logic Based Approach
- Version of Record
More information
Accepted/In Press date: 12 April 2021
Venue - Dates:
ACM Collective Intelligence Conference 2021 (CI-2021), Virtual, Copenhagen, Denmark, 2021-06-29 - 2021-06-30
Keywords:
Multiagent Systems, Coordination and Control, Internet of Vehicles (IoV), Strategic Reasoning, Formal Methods, temporal logics
Identifiers
Local EPrints ID: 448210
URI: http://eprints.soton.ac.uk/id/eprint/448210
PURE UUID: f1c5d810-7dfe-4ec2-aa3c-4823855c4e9e
Catalogue record
Date deposited: 15 Apr 2021 16:30
Last modified: 17 Mar 2024 04:02
Export record
Contributors
Author:
Vahid Yazdanpanah
Author:
Sebastian Stein
Author:
Enrico H. Gerding
Author:
m.c. schraefel
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics