Active learning for sound negotiations
From MaRDI portal
Publication:6649451
DOI10.1145/3531130.3533342MaRDI QIDQ6649451
Igor Walukiewicz, Anca Muscholl
Publication date: 6 December 2024
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Learning regular omega languages
- Learning register automata: from languages to program structures
- Active learning for extended finite state machines
- Query learning of regular tree languages: How to avoid dead states
- Learning regular sets from queries and counterexamples
- Negotiation as concurrency primitive
- Learning pomset automata
- Efficient active automata learning via mutation testing
- Inference of finite automata using homing sequences
- Learning Weighted Automata
- Notes on finite asynchronous automata
- Complexity of automaton identification from given data
- Automata Learning
- Learning nominal automata
- Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning
- Benchmarks for automata learning and conformance testing
This page was built for publication: Active learning for sound negotiations
