Browse Datasets

Filters Expand All Collapse All

Auction Verification

We modeled a simultaneous multi-round auction with BPMN models, transformed the latter to Petri nets, and used a model checker to verify whether certain outcomes of the auction are possible or not.

Classification, Regression

Tabular

2.04K Instances

7 Features

Rows per page

0 to 1 of 1

Keywords

Attributes

Data Type

Subject Area

Task

# Instances

# Features

Feature Type

Python

By using the UCI Machine Learning Repository, you acknowledge and accept the cookies and privacy practices used by the UCI Machine Learning Repository.

Read Policy