2 papers
cs.FL2025
Componentwise Automata Learning for System Integration (Extended Version)
Hiroya Fujinami, Masaki Waga, Jie An +4
Compositional automata learning is attracting attention as an analysis technique for complex black-box systems. It exploits a target system's internal compositional structure to re…
cs.DC2017
A characterization of colorless anonymous -resilient task computability
Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum +1
A task is a distributed problem for processes, in which each process starts with a private input value, communicates with other processes, and eventually decides an output valu…