Copertina

TARZAN: A Region-Based Library for Forward and Backward Reachability of Timed Automata (Extended Version)

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Manini, Andrea, Rossi, Matteo, Pietro, Pierluigi San
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Formal Languages and Automata Theory
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

Completely Reachable Almost Group Automata
di: Torres, David Fernando Casas
Pubblicazione: (2024)

Reachability in VASS Extended with Integer Counters
di: Bizière, Clotilde, et al.
Pubblicazione: (2026)

Automata-less Monitoring via Trace-Checking (Extended Version)
di: Brunello, Andrea, et al.
Pubblicazione: (2025)

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

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

Learning Deterministic Multi-Clock Timed Automata
di: Teng, Yu, et al.
Pubblicazione: (2024)

Reachability for Multi-Priced Timed Automata with Positive and Negative Rates
di: Scoones, Andrew, et al.
Pubblicazione: (2024)

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

Atomic Gliders and CA as Language Generators (Extended Version)
di: Fisman, Dana, et al.
Pubblicazione: (2025)

Collaboration Miner: Discovering Collaboration Petri Nets (Extended Version)
di: Benzin, Janik-Vasily, et al.
Pubblicazione: (2024)

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)
di: Tsai, Yun Chen, et al.
Pubblicazione: (2025)

Mata, a Fast and Simple Finite Automata Library (Technical Report)
di: Chocholatý, David, et al.
Pubblicazione: (2023)

Reachability in Trace-Pushdown Systems
di: Köcher, Chris, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

A Unifying Approach to Picture Automata
di: Meeres, Yvo Ad, et al.
Pubblicazione: (2025)

On the Separability Problem of VASS Reachability Languages
di: Keskin, Eren, et al.
Pubblicazione: (2024)

Box-Reachability in Vector Addition Systems
di: Almagor, Shaull, et al.
Pubblicazione: (2025)

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

$ω$-regular Expression Synthesis from Transition-Based Büchi Automata
di: Pert, Charles, et al.
Pubblicazione: (2024)

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

Backward Responsibility in Transition Systems Beyond Safety
di: Baier, Christel, et al.
Pubblicazione: (2025)

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

Nominal Automata with Name Deallocation
di: Prucker, Simon, et al.
Pubblicazione: (2026)

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

Saturation Problems for Families of Automata
di: Bohn, León, et al.
Pubblicazione: (2025)

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

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

GrappaRE -- A Tool for Efficient Graph Recognition Based on Finite Automata and Regular Expressions
di: De Rosa, Mattia, et al.
Pubblicazione: (2025)

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)

Finite Automata for Efficient Graph Recognition
di: Drewes, Frank, et al.
Pubblicazione: (2024)