Abstractions for Model-Checking Game-theoretic Properties in Combinatorial Auctions
نویسندگان
چکیده
ions for Model-Checking Game-theoretic Properties in Combinatorial Auctions E.M. Tadjouddine F. Guerin W. Vasconcelos Univ. of Aberdeen, Dept. of Computing Science, Aberdeen AB24 3UE, UK [email protected], [email protected], [email protected]
منابع مشابه
Abstractions for model-checking game-theoretic properties of auctions
ions for Model-Checking Game-theoretic Properties of Auctions
متن کاملFinite-state abstractions for probabilistic computation tree logic
Probabilistic Computation Tree Logic (PCTL) is the established temporal logic for probabilistic verification of discrete-time Markov chains. Probabilistic model checking is a technique that verifies or refutes whether a property specified in this logic holds in a Markov chain. But Markov chains are often infinite or too large for this technique to apply. A standard solution to this problem is t...
متن کاملSponsored Search Auction Design via Machine Learning∗
In this work we use techniques from the study of samplecomplexity in machine learning to reduce revenue maximizing auction problems to standard algorithmic questions. These results are particularly relevant to designing good pricing mechanisms for sponsored search. In particular we apply our results to two problems: profit maximizing combinatorial auctions, and auctions for pricing semantically...
متن کاملA Comparative Study of Multi-Attribute Continuous Double Auction Mechanisms
Auctions have been as a competitive method of buying and selling valuable or rare items for a long time. Single-sided auctions in which participants negotiate on a single attribute (e.g. price) are very popular. Double auctions and negotiation on multiple attributes create more advantages compared to single-sided and single-attribute auctions. Nonetheless, this adds the complexity of the auctio...
متن کاملWinner Determination in Combinatorial Auctions using Hybrid Ant Colony Optimization and Multi-Neighborhood Local Search
A combinatorial auction is an auction where the bidders have the choice to bid on bundles of items. The WDP in combinatorial auctions is the problem of finding winning bids that maximize the auctioneer’s revenue under the constraint that each item can be allocated to at most one bidder. The WDP is known as an NP-hard problem with practical applications like electronic commerce, production manag...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007