Image de couverture de livre

Responsibility in Actor-Based Systems

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Baier, Christel, Klüppelholz, Sascha, Lehmann, Johannes
Format:	Preprint
Publié:	2024
Sujets:	Formal Languages and Automata Theory
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Backward Responsibility in Transition Systems Beyond Safety
par: Baier, Christel, et autres
Publié: (2025)

Backward Responsibility in Transition Systems Using General Power Indices
par: Baier, Christel, et autres
Publié: (2024)

Non-Global Parikh Tree Automata
par: Herrmann, Luisa, et autres
Publié: (2024)

Verification and Enforcement of Strong State-Based Opacity for Discrete-Event Systems
par: Han, Xiaoguang, et autres
Publié: (2024)

A Variety of Request-Response Specifications
par: Aiba, Daichi, et autres
Publié: (2025)

Vulnerabilities Analysis and Secure Controlling for Unmanned Aerial System Based on Reactive Synthesis
par: Yang, Dong, et autres
Publié: (2024)

Efficient Interaction-Based Offline Runtime Verification of Distributed Systems with Lifeline Removal
par: Mahe, Erwan, et autres
Publié: (2024)

History-Constrained Systems
par: Kuijer, Louwe B., et autres
Publié: (2026)

Reachability in Trace-Pushdown Systems
par: Köcher, Chris, et autres
Publié: (2025)

Forbidden-Context & Ordered Grammar Systems
par: Fernau, Henning, et autres
Publié: (2026)

Box-Reachability in Vector Addition Systems
par: Almagor, Shaull, et autres
Publié: (2025)

Mining Diamonds in labeled Transition Systems
par: van Spaendonck, P. H. M., et autres
Publié: (2025)

Weighted Automata and Regular Expressions for Financial Systems
par: Droste, Manfred, et autres
Publié: (2026)

Minimality Notions via Factorization Systems and Examples
par: Wißmann, Thorsten
Publié: (2022)

Compositional Abstraction for Timed Systems with Broadcast Synchronization
par: Chen, Hanyue, et autres
Publié: (2025)

Componentwise Automata Learning for System Integration (Extended Version)
par: Fujinami, Hiroya, et autres
Publié: (2025)

Languages of Boundedly-Ambiguous Vector Addition Systems with States
par: Czerwiński, Wojciech, et autres
Publié: (2025)

Systems of Graph Formulas and their Equivalence to Alternating Graph Automata
par: Drewes, Frank, et autres
Publié: (2025)

Invariants and Home Spaces in Transition Systems and Petri Nets
par: Memmi, Gerard
Publié: (2023)

Reachability in One-Dimensional Pushdown Vector Addition Systems is Decidable
par: Bizière, Clotilde, et autres
Publié: (2024)

Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction
par: Eichler, Paul, et autres
Publié: (2024)

More on Maximally Permissive Similarity Control of Discrete Event Systems
par: Wang, Yu, et autres
Publié: (2024)

Distributional Learning of Graph Languages Generated by Fixed-Interface Clause Systems
par: Shoudai, Takayoshi, et autres
Publié: (2026)

Model Checking for Multi-Agent Systems Modeled By Epistemic Process Calculus
par: Yu, Qixian, et autres
Publié: (2025)

Black-box Testing Liveness Properties of Partially Observable Stochastic Systems
par: Esparza, Javier, et autres
Publié: (2023)

A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation
par: Akshay, S, et autres
Publié: (2023)

Efficient Runtime Verification of Real-Time Systems under Parametric Communication Delays
par: Fränzle, Martin, et autres
Publié: (2024)

Synthesis of State-Attack Strategies for Anonymity and Opacity Violation in Discrete Event Systems
par: Li, Xiaoyan, et autres
Publié: (2025)

A General Information Extraction Framework Based on Formal Languages
par: Schmid, Markus L.
Publié: (2025)

$ω$-regular Expression Synthesis from Transition-Based Büchi Automata
par: Pert, Charles, et autres
Publié: (2024)

Reasoning about Rare-Event Reachability in Stochastic Vector Addition Systems via Affine Vector Spaces
par: Jeppson, Joshua, et autres
Publié: (2025)

An Automata-Based Method to Formalize Psychological Theories -- The Case Study of Lazarus and Folkman's Stress Theory
par: Finkel, Alain, et autres
Publié: (2025)

TARZAN: A Region-Based Library for Forward and Backward Reachability of Timed Automata (Extended Version)
par: Manini, Andrea, et autres
Publié: (2026)

GrappaRE -- A Tool for Efficient Graph Recognition Based on Finite Automata and Regular Expressions
par: De Rosa, Mattia, et autres
Publié: (2025)

The Complexity of Aggregates over Extractions by Regular Expressions
par: Doleschal, Johannes, et autres
Publié: (2020)

Finite Automata for Efficient Graph Recognition
par: Drewes, Frank, et autres
Publié: (2024)

MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm
par: Akshay, S., et autres
Publié: (2024)

A Formal Approach for Tuning Stochastic Oscillators
par: Ballarini, Paolo, et autres
Publié: (2024)

A Tree Sampler for Bounded Context-Free Languages
par: Considine, Breandan
Publié: (2024)

Distribution of Reconfiguration Languages maintaining Tree-like Communication Topology
par: Hausmann, Daniel, et autres
Publié: (2024)