Automated analysis of auction traces

Mark Hoogendoorn; Maria Gini

doi:10.1007/978-3-642-15117-0_5

Automated analysis of auction traces

Mark Hoogendoorn, Maria Gini

Computer Science and Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

When agents participate in an auction, either as buyers or sellers, it is important to be able to verify compliance to auction protocols and correctness of auction clearing. We propose a method for such a verification which is based on analyzing execution traces of the auction. Our method has the advantage that it does not require access to the internal of the agents, hence it is applicable to any auction, even auctions with human and agent participants, as long as the auction trace is available. The approach is based on an expressive temporal logic in which properties for auction types and for agent strategies are specified. Examples of trace analysis are used to illustrate the approach. Finally, experimental results are presented using synthetic data.

Original language	English (US)
Title of host publication	Agent-Mediated Electronic Commerce
Subtitle of host publication	Designing Trading Strategies and Mechanisms for Electronic Markets - IJCAI Workshop, TADA 2009, Selected and Revised Papers
Publisher	Springer Verlag
Pages	58-73
Number of pages	16
ISBN (Print)	9783642151163
DOIs	https://doi.org/10.1007/978-3-642-15117-0_5
State	Published - 2010
Event	2009 Workshop on Trading Agent Design and Analysis, TADA 2009, Co-located with the IJCAI 2009 Conference - Pasadena, CA, United States Duration: Jul 13 2009 → Jul 13 2009

Publication series

Name	Lecture Notes in Business Information Processing
Volume	59 LNBIP
ISSN (Print)	1865-1348

Other

Other	2009 Workshop on Trading Agent Design and Analysis, TADA 2009, Co-located with the IJCAI 2009 Conference
Country/Territory	United States
City	Pasadena, CA
Period	7/13/09 → 7/13/09

Bibliographical note

Funding Information:
Partial support provided by the National Science Foundation under grant IIS-0414466.

Keywords

Auction protocals
Formal verification
Trace-based

Publisher link

10.1007/978-3-642-15117-0_5

Find It

Find It at U of M Libraries

Cite this

Hoogendoorn, M., & Gini, M. (2010). Automated analysis of auction traces. In Agent-Mediated Electronic Commerce: Designing Trading Strategies and Mechanisms for Electronic Markets - IJCAI Workshop, TADA 2009, Selected and Revised Papers (pp. 58-73). (Lecture Notes in Business Information Processing; Vol. 59 LNBIP). Springer Verlag. https://doi.org/10.1007/978-3-642-15117-0_5

Automated analysis of auction traces. / Hoogendoorn, Mark; Gini, Maria.
Agent-Mediated Electronic Commerce: Designing Trading Strategies and Mechanisms for Electronic Markets - IJCAI Workshop, TADA 2009, Selected and Revised Papers. Springer Verlag, 2010. p. 58-73 (Lecture Notes in Business Information Processing; Vol. 59 LNBIP).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Hoogendoorn, M & Gini, M 2010, Automated analysis of auction traces. in Agent-Mediated Electronic Commerce: Designing Trading Strategies and Mechanisms for Electronic Markets - IJCAI Workshop, TADA 2009, Selected and Revised Papers. Lecture Notes in Business Information Processing, vol. 59 LNBIP, Springer Verlag, pp. 58-73, 2009 Workshop on Trading Agent Design and Analysis, TADA 2009, Co-located with the IJCAI 2009 Conference, Pasadena, CA, United States, 7/13/09. https://doi.org/10.1007/978-3-642-15117-0_5

@inproceedings{7625a300d0d9420d8b6062ebde64dd27,

title = "Automated analysis of auction traces",

abstract = "When agents participate in an auction, either as buyers or sellers, it is important to be able to verify compliance to auction protocols and correctness of auction clearing. We propose a method for such a verification which is based on analyzing execution traces of the auction. Our method has the advantage that it does not require access to the internal of the agents, hence it is applicable to any auction, even auctions with human and agent participants, as long as the auction trace is available. The approach is based on an expressive temporal logic in which properties for auction types and for agent strategies are specified. Examples of trace analysis are used to illustrate the approach. Finally, experimental results are presented using synthetic data.",

keywords = "Auction protocals, Formal verification, Trace-based",

author = "Mark Hoogendoorn and Maria Gini",

note = "Funding Information: Partial support provided by the National Science Foundation under grant IIS-0414466.; 2009 Workshop on Trading Agent Design and Analysis, TADA 2009, Co-located with the IJCAI 2009 Conference ; Conference date: 13-07-2009 Through 13-07-2009",

year = "2010",

doi = "10.1007/978-3-642-15117-0_5",

language = "English (US)",

isbn = "9783642151163",

series = "Lecture Notes in Business Information Processing",

publisher = "Springer Verlag",

pages = "58--73",

booktitle = "Agent-Mediated Electronic Commerce",

}

TY - GEN

T1 - Automated analysis of auction traces

AU - Hoogendoorn, Mark

AU - Gini, Maria

N1 - Funding Information: Partial support provided by the National Science Foundation under grant IIS-0414466.

PY - 2010

Y1 - 2010

N2 - When agents participate in an auction, either as buyers or sellers, it is important to be able to verify compliance to auction protocols and correctness of auction clearing. We propose a method for such a verification which is based on analyzing execution traces of the auction. Our method has the advantage that it does not require access to the internal of the agents, hence it is applicable to any auction, even auctions with human and agent participants, as long as the auction trace is available. The approach is based on an expressive temporal logic in which properties for auction types and for agent strategies are specified. Examples of trace analysis are used to illustrate the approach. Finally, experimental results are presented using synthetic data.

AB - When agents participate in an auction, either as buyers or sellers, it is important to be able to verify compliance to auction protocols and correctness of auction clearing. We propose a method for such a verification which is based on analyzing execution traces of the auction. Our method has the advantage that it does not require access to the internal of the agents, hence it is applicable to any auction, even auctions with human and agent participants, as long as the auction trace is available. The approach is based on an expressive temporal logic in which properties for auction types and for agent strategies are specified. Examples of trace analysis are used to illustrate the approach. Finally, experimental results are presented using synthetic data.

KW - Auction protocals

KW - Formal verification

KW - Trace-based

UR - http://www.scopus.com/inward/record.url?scp=84876215640&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84876215640&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-15117-0_5

DO - 10.1007/978-3-642-15117-0_5

M3 - Conference contribution

AN - SCOPUS:84876215640

SN - 9783642151163

T3 - Lecture Notes in Business Information Processing

SP - 58

EP - 73

BT - Agent-Mediated Electronic Commerce

PB - Springer Verlag

T2 - 2009 Workshop on Trading Agent Design and Analysis, TADA 2009, Co-located with the IJCAI 2009 Conference

Y2 - 13 July 2009 through 13 July 2009

ER -

Automated analysis of auction traces

Abstract

Publication series

Other

Bibliographical note

Keywords

Publisher link

Find It

Other files and links

Fingerprint

Cite this