Learning Deterministic Multi-Clock Timed Automata

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Teng, Yu, Zhang, Miaomiao, An, Jie
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Formal Languages and Automata Theory
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

On Decidability Timed Automata with 2 Parametric Clocks
di: Bersani, Marcello M., et al.
Pubblicazione: (2025)

Simulations for Event-Clock Automata
di: Akshay, S, et al.
Pubblicazione: (2022)

Efficient Learning of Weak Deterministic Büchi Automata
di: Alluwayma, Mona, et al.
Pubblicazione: (2025)

On the Minimisation of Deterministic and History-Deterministic Generalised (co)Büchi Automata
di: Casares, Antonio, et al.
Pubblicazione: (2024)

History-Deterministic Büchi Automata are Succinct
di: Casares, Antonio, et al.
Pubblicazione: (2026)

Hyper-Minimization for Deterministic Register Automata
di: Li, Yong, et al.
Pubblicazione: (2026)

Token Games and History-Deterministic Quantitative-Automata
di: Boker, Udi, et al.
Pubblicazione: (2021)

Lookahead Games and Efficient Determinisation of History-Deterministic Büchi Automata
di: Acharya, Rohan, et al.
Pubblicazione: (2024)

A Linear-time Simulation of Deterministic $d$-Limited Automata
di: Rubtsov, Alexander
Pubblicazione: (2023)

Constructing Deterministic Parity Automata from Positive and Negative Examples
di: Bohn, León, et al.
Pubblicazione: (2023)

The 2-Token Theorem: Recognising History-Deterministic Parity Automata Efficiently
di: Lehtinen, Karoliina, et al.
Pubblicazione: (2025)

Determinism in Multi-Soliton Automata
di: Bordihn, Henning, et al.
Pubblicazione: (2024)

Componentwise Automata Learning for System Integration (Extended Version)
di: Fujinami, Hiroya, et al.
Pubblicazione: (2025)

Corrections to A Menagerie of Timed Automata
di: Keiren, Jeroen J. A., et al.
Pubblicazione: (2016)

Congruence-based Learning of Probabilistic Deterministic Finite Automata
di: Carrasco, Matías, et al.
Pubblicazione: (2024)

Inference of Deterministic Finite Automata via Q-Learning
di: Hosseinkhani, Elaheh, et al.
Pubblicazione: (2025)

Compositional Abstraction for Timed Systems with Broadcast Synchronization
di: Chen, Hanyue, et al.
Pubblicazione: (2025)

A Myhill-Nerode Characterization and Active Learning for One-Clock Timed Automata
di: Doveri, Kyveli, et al.
Pubblicazione: (2026)

Minimum Reachability Probabilities in Rectangular Automata with Random Clocks
di: Delicaris, Joanna, et al.
Pubblicazione: (2026)

Mathematical Approach in Automata and Automata Association
di: Maciel, Sergio Henrique
Pubblicazione: (2020)

Query Learning of Advice and Nominal Automata
di: Zhou, Kevin
Pubblicazione: (2024)

Learning Event-recording Automata Passively
di: Majumdar, Anirban, et al.
Pubblicazione: (2025)

Active Learning of Symbolic Mealy Automata
di: Irie, Kengo, et al.
Pubblicazione: (2025)

Constrained Multi-Tildes: Derived Term and Position Automata
di: Attou, Samira, et al.
Pubblicazione: (2024)

Scalable Tree-based Register Automata Learning
di: Dierl, Simon, et al.
Pubblicazione: (2024)

Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation
di: Manini, Andrea, et al.
Pubblicazione: (2025)

Greybox Learning of Languages Recognizable by Event-Recording Automata
di: Majumdar, Anirban, et al.
Pubblicazione: (2024)

Automata Learning with an Incomplete but Inductive Teacher (Technical Report)
di: Stan, Daniel, et al.
Pubblicazione: (2026)

Deterministic Suffix-reading Automata
di: Keerthan, R, et al.
Pubblicazione: (2024)

On Shuffling and Splitting Automata
di: Cunningham, Ignacio Mollo
Pubblicazione: (2024)

Explorable Parity Automata
di: Hazard, Emile, et al.
Pubblicazione: (2024)

Automata on Graph Alphabets
di: Bazille, Hugo, et al.
Pubblicazione: (2026)

Quantitative Language Automata
di: Henzinger, Thomas A., et al.
Pubblicazione: (2025)

Asynchronism in Cellular Automata
di: Gautam, Virendra Kumar
Pubblicazione: (2025)

Passive Learning of Lattice Automata from Recurrent Neural Networks
di: Slimi, Jaouhar, et al.
Pubblicazione: (2025)

Learning Weighted Automata over Number Rings, Concretely and Categorically
di: Aristote, Quentin, et al.
Pubblicazione: (2025)

Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata
di: Mazowiecki, Filip, et al.
Pubblicazione: (2025)

MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm
di: Akshay, S., et al.
Pubblicazione: (2024)

Localising Stochasticity in Weighted Automata
di: Agarwal, Smayan, et al.
Pubblicazione: (2026)

History-deterministic Parikh Automata
di: Erlich, Enzo, et al.
Pubblicazione: (2022)