ATVA 2025
Mon 27 - Fri 31 October 2025 Bengaluru, India
Tue 28 Oct 2025 11:00 - 11:30 at R102 - Automata Chair(s): Srinivas Pinisetty

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 reduce complexity. In this paper, we identify system integration—the process of building a new system as a composite of potentially third-party and black-box components—as a new application domain of compositional automata learning. Accordingly, we propose a new problem setting, where the learner has direct access to black-box components. This is in contrast with the usual problem settings of compositional learning, where the target is a legacy black-box system and queries can only be made to the whole system (but not to components). We call our problem componentwise automata learning for distinction. We identify a challenge there called component redundancies: some parts of components may not contribute to system-level behaviors, and learning them incurs unnecessary effort. We introduce a contextual componentwise learning algorithm that systematically removes such redundancies. We experimentally evaluate our proposal and show its practical relevance.

Tue 28 Oct

Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

11:00 - 12:30
AutomataATVA Papers at R102
Chair(s): Srinivas Pinisetty Indian Institute of Technology Bhubaneswar
11:00
30m
Paper
Componentwise Automata Learning for System IntegrationDistinguished Paper
ATVA Papers
Hiroya Fujinami , Masaki Waga Kyoto University, Jie An Institute of Software Chinese Academy of Sciences, Kohei Suenaga Graduate School of Informatics, Kyoto University, Nayuta Yanagisawa , Hiroki Iseri NPO ASTER Minato-ku, Tokyo, Ichiro Hasuo National Institute of Informatics, Japan
11:30
30m
Paper
Learning Event-recording Automata Passively
ATVA Papers
Anirban Majumdar , Sayan Mukherjee Univ Rennes, Inria, CNRS, IRISA, France, Jean-François Raskin Université Libre de Bruxelles
12:00
15m
Paper
TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets (tool paper)
ATVA Papers
Bruno Maria René Gonzalez TU Berlin, Germany, Peter Gjøl Jensen Aalborg University, Denmark, Jiri Srba , Stefan Schmid TU Berlin, Germany, Martin Zimmermann University of Liverpool