Buchumschlag

Hybrid Rebeca Revisited

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ghassemi, Fatemeh, Zhiany, Saeed, Abbasimoghadam, Nesa, Hodaei, Ali, Ataollahi, Ali, Kovács, József, Ábrahám, Erika, Sirjani, Marjan
Format:	Preprint
Veröffentlicht:	2024
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

Two-Way One-Counter Nets Revisited
von: Almagor, Shaull, et al.
Veröffentlicht: (2024)

Well-Formed Free-Choice Petri Nets Revisited
von: Jancar, Petr, et al.
Veröffentlicht: (2026)

Imposing Rules in Process Discovery: an Inductive Mining Approach
von: Norouzifar, Ali, et al.
Veröffentlicht: (2024)

Minimum Reachability Probabilities in Rectangular Automata with Random Clocks
von: Delicaris, Joanna, et al.
Veröffentlicht: (2026)

Learn, Check, Test -- Security Testing Using Automata Learning and Model Checking
von: Marksteiner, Stefan, et al.
Veröffentlicht: (2025)

On the Marriage of Theory and Practice in Data-Aware Business Processes via Low-Code
von: Eldin, Ali Nour, et al.
Veröffentlicht: (2025)

Finite Automata for Efficient Graph Recognition
von: Drewes, Frank, et al.
Veröffentlicht: (2024)

MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm
von: Akshay, S., et al.
Veröffentlicht: (2024)

A Formal Approach for Tuning Stochastic Oscillators
von: Ballarini, Paolo, et al.
Veröffentlicht: (2024)

A Tree Sampler for Bounded Context-Free Languages
von: Considine, Breandan
Veröffentlicht: (2024)

Distribution of Reconfiguration Languages maintaining Tree-like Communication Topology
von: Hausmann, Daniel, et al.
Veröffentlicht: (2024)

Lookahead Games and Efficient Determinisation of History-Deterministic Büchi Automata
von: Acharya, Rohan, et al.
Veröffentlicht: (2024)

Characterization of Isometric Words based on Swap and Mismatch Distance
von: Anselmo, M., et al.
Veröffentlicht: (2024)

$ω$-regular Expression Synthesis from Transition-Based Büchi Automata
von: Pert, Charles, et al.
Veröffentlicht: (2024)

Deterministic Parikh automata on infinite words
von: Grobler, Mario, et al.
Veröffentlicht: (2024)

Information-flow Interfaces and Security Lattices
von: Bartocci, Ezio, et al.
Veröffentlicht: (2024)

Synthesis from LTL with Reward Optimization in Sampled Oblivious Environments
von: Raskin, Jean-François, et al.
Veröffentlicht: (2024)

5' -> 3' Watson-Crick Automata accepting Necklaces
von: Nagy, Benedek
Veröffentlicht: (2024)

Reachability in One-Dimensional Pushdown Vector Addition Systems is Decidable
von: Bizière, Clotilde, et al.
Veröffentlicht: (2024)

The complexity of separability for semilinear sets and Parikh automata
von: Collins, Elias Rojas, et al.
Veröffentlicht: (2024)

QuAK: Quantitative Automata Kit
von: Chalupa, Marek, et al.
Veröffentlicht: (2024)

Development of parallel programs on shared data-structures -- Revised version
von: Stølen, Ketil
Veröffentlicht: (2024)

Exact descriptional complexity of determinization of input-driven pushdown automata
von: Martynova, Olga
Veröffentlicht: (2024)

Active Learning of Deterministic Transducers with Outputs in Arbitrary Monoids
von: Aristote, Quentin
Veröffentlicht: (2024)

Extended time Petri nets
von: Radom, Marcin, et al.
Veröffentlicht: (2024)

A short survey around the pumping lemma for context-free languages
von: Gullà, Gabriele
Veröffentlicht: (2024)

Non-deterministic asynchronous automata games and their undecidability
von: Adsul, Bharat, et al.
Veröffentlicht: (2024)

Unveiling the connection between the Lyndon factorization and the Canonical Inverse Lyndon factorization via a border property
von: Bonizzoni, Paola, et al.
Veröffentlicht: (2024)

On the piecewise complexity of words
von: Schnoebelen, Philippe, et al.
Veröffentlicht: (2024)

Learning EFSM Models with Registers in Guards
von: Vega, Germán, et al.
Veröffentlicht: (2024)

State estimation of timed automata under partial observation [Draft version]
von: Gao, Chao, et al.
Veröffentlicht: (2024)

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

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

Verification and Enforcement of Strong State-Based Opacity for Discrete-Event Systems
von: Han, Xiaoguang, et al.
Veröffentlicht: (2024)

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

Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction
von: Eichler, Paul, et al.
Veröffentlicht: (2024)

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

More on Maximally Permissive Similarity Control of Discrete Event Systems
von: Wang, Yu, et al.
Veröffentlicht: (2024)

Navigational hierarchies of regular languages
von: Place, Thomas, et al.
Veröffentlicht: (2024)

On the Separability Problem of VASS Reachability Languages
von: Keskin, Eren, et al.
Veröffentlicht: (2024)