Buchumschlag

Componentwise Automata Learning for System Integration (Extended Version)

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Fujinami, Hiroya, Waga, Masaki, An, Jie, Suenaga, Kohei, Yanagisawa, Nayuta, Iseri, Hiroki, Hasuo, Ichiro
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Formal Languages and Automata Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Active Learning of Symbolic Mealy Automata
von: Irie, Kengo, et al.
Veröffentlicht: (2025)

Parametric Timed Pattern Matching
von: Waga, Masaki, et al.
Veröffentlicht: (2019)

Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination
von: Okudono, Takamasa, et al.
Veröffentlicht: (2024)

A Variety of Request-Response Specifications
von: Aiba, Daichi, et al.
Veröffentlicht: (2025)

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)
von: Tsai, Yun Chen, et al.
Veröffentlicht: (2025)

Hyper pattern matching
von: Waga, Masaki, et al.
Veröffentlicht: (2025)

Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption
von: Waga, Masaki, et al.
Veröffentlicht: (2024)

Model-bounded monitoring of hybrid systems
von: Waga, Masaki, et al.
Veröffentlicht: (2021)

Hyper parametric timed CTL
von: Waga, Masaki, et al.
Veröffentlicht: (2024)

Explicit Hopcroft's Trick in Categorical Partition Refinement
von: Sanada, Takahiro, et al.
Veröffentlicht: (2023)

TARZAN: A Region-Based Library for Forward and Backward Reachability of Timed Automata (Extended Version)
von: Manini, Andrea, et al.
Veröffentlicht: (2026)

Learning Deterministic Multi-Clock Timed Automata
von: Teng, Yu, et al.
Veröffentlicht: (2024)

Mathematical Approach in Automata and Automata Association
von: Maciel, Sergio Henrique
Veröffentlicht: (2020)

Atomic Gliders and CA as Language Generators (Extended Version)
von: Fisman, Dana, et al.
Veröffentlicht: (2025)

Learning Event-recording Automata Passively
von: Majumdar, Anirban, et al.
Veröffentlicht: (2025)

Query Learning of Advice and Nominal Automata
von: Zhou, Kevin
Veröffentlicht: (2024)

Weighted Automata and Regular Expressions for Financial Systems
von: Droste, Manfred, et al.
Veröffentlicht: (2026)

Automata-less Monitoring via Trace-Checking (Extended Version)
von: Brunello, Andrea, et al.
Veröffentlicht: (2025)

Collaboration Miner: Discovering Collaboration Petri Nets (Extended Version)
von: Benzin, Janik-Vasily, et al.
Veröffentlicht: (2024)

On-The-Fly Algorithm for Reachability in Parametric Timed Games (Extended Version)
von: Dahlsen-Jensen, Mikael Bisgaard, et al.
Veröffentlicht: (2024)

Efficient Learning of Weak Deterministic Büchi Automata
von: Alluwayma, Mona, et al.
Veröffentlicht: (2025)

Scalable Tree-based Register Automata Learning
von: Dierl, Simon, et al.
Veröffentlicht: (2024)

Systems of Graph Formulas and their Equivalence to Alternating Graph Automata
von: Drewes, Frank, et al.
Veröffentlicht: (2025)

Greybox Learning of Languages Recognizable by Event-Recording Automata
von: Majumdar, Anirban, et al.
Veröffentlicht: (2024)

Automata Learning with an Incomplete but Inductive Teacher (Technical Report)
von: Stan, Daniel, et al.
Veröffentlicht: (2026)

Quantitative Language Automata
von: Henzinger, Thomas A., et al.
Veröffentlicht: (2025)

Asynchronism in Cellular Automata
von: Gautam, Virendra Kumar
Veröffentlicht: (2025)

On Shuffling and Splitting Automata
von: Cunningham, Ignacio Mollo
Veröffentlicht: (2024)

Explorable Parity Automata
von: Hazard, Emile, et al.
Veröffentlicht: (2024)

Automata on Graph Alphabets
von: Bazille, Hugo, et al.
Veröffentlicht: (2026)

Passive Learning of Lattice Automata from Recurrent Neural Networks
von: Slimi, Jaouhar, et al.
Veröffentlicht: (2025)

Learning Weighted Automata over Number Rings, Concretely and Categorically
von: Aristote, Quentin, et al.
Veröffentlicht: (2025)

Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata
von: Mazowiecki, Filip, et al.
Veröffentlicht: (2025)

Saturation Problems for Families of Automata
von: Bohn, León, et al.
Veröffentlicht: (2025)

Localising Stochasticity in Weighted Automata
von: Agarwal, Smayan, et al.
Veröffentlicht: (2026)

History-deterministic Parikh Automata
von: Erlich, Enzo, et al.
Veröffentlicht: (2022)

Nominal Automata with Name Deallocation
von: Prucker, Simon, et al.
Veröffentlicht: (2026)

Determinism in Multi-Soliton Automata
von: Bordihn, Henning, et al.
Veröffentlicht: (2024)

Simulations for Event-Clock Automata
von: Akshay, S, et al.
Veröffentlicht: (2022)

Mind the Gap: A Formal Investigation of the Relationship Between Log and Model Complexity -- Extended Version
von: Schalk, Patrizia, et al.
Veröffentlicht: (2025)