@inproceedings{10.1145/3531130.3533342,
    Abstract = {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.},
    Address = {New York, NY, USA},
    Author = {Muscholl, Anca and Walukiewicz, Igor},
    BookTitle = {Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science},
    File = {Active learning for sound negotiations - 3531130.3533342.pdf},
    ISBN = {9781450393515},
    Keywords = {Distributed systems, Mazurkiewicz traces, Active learning},
    Location = {Haifa, Israel},
    Publisher = {Association for Computing Machinery},
    Series = {LICS '22},
    Title = {Active Learning for Sound Negotiations},
    URL = {https://doi.org/10.1145/3531130.3533342},
    Year = {2022},
    articleno = {21},
    bdsk-url-1 = {https://doi.org/10.1145/3531130.3533342},
    date-added = {2022-08-29 14:27:27 +0200},
    date-modified = {2022-08-29 14:27:27 +0200},
    numpages = {12},
    doi = {10.1145/3531130.3533342}
}

@inproceedings{10.1145/3531130.3533342, Abstract = {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.}, Address = {New York, NY, USA}, Author = {Muscholl, Anca and Walukiewicz, Igor}, BookTitle = {Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science}, File = {Active learning for sound negotiations - 3531130.3533342.pdf}, ISBN = {9781450393515}, Keywords = {Distributed systems, Mazurkiewicz traces, Active learning}, Location = {Haifa, Israel}, Publisher = {Association for Computing Machinery}, Series = {LICS '22}, Title = {Active Learning for Sound Negotiations}, URL = {https://doi.org/10.1145/3531130.3533342}, Year = {2022}, articleno = {21}, bdsk-url-1 = {https://doi.org/10.1145/3531130.3533342}, date-added = {2022-08-29 14:27:27 +0200}, date-modified = {2022-08-29 14:27:27 +0200}, numpages = {12}, doi = {10.1145/3531130.3533342} }