DeepAI AI Chat
Log In Sign Up

Active Learning for Sound Negotiations

by   Anca Muscholl, et al.

We present two active learning algorithms for sound deterministic negotiations. Sound deterministic negotiations are models of distributed systems, a kind of Petri nets or Zielonka automata with additional structure. We show that this additional structure allows to minimize such negotiations. The two active learning algorithms differ in the type of membership queries they use. Both have similar complexity to Angluin's L* algorithm, in particular, the number of queries is polynomial in the size of the negotiation, and not in the number of configurations.


page 1

page 2

page 3

page 4


Active Learning of Sequential Transducers with Side Information about the Domain

Active learning is a setting in which a student queries a teacher, throu...

Active Learning on Trees and Graphs

We investigate the problem of active learning on a given tree whose node...

Learning Formal Specifications from Membership and Preference Queries

Active learning is a well-studied approach to learning formal specificat...

A quantum active learning algorithm for sampling against adversarial attacks

Adversarial attacks represent a serious menace for learning algorithms a...

HS^2: Active Learning over Hypergraphs

We propose a hypergraph-based active learning scheme which we term HS^2,...

L*-Based Learning of Markov Decision Processes (Extended Version)

Automata learning techniques automatically generate system models from t...

Learning Time Dependent Choice

We explore questions dealing with the learnability of models of choice o...