Cover Image

A Variety of Request-Response Specifications

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Aiba, Daichi, Waga, Masaki, Fujinami, Hiroya, Muroya, Koko, Ouchi, Shutaro, Ueda, Naoki, Yokoyama, Yosuke, Wada, Yuta, Hasuo, Ichiro
Format:	Preprint
Published:	2025
Subjects:	Formal Languages and Automata Theory
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Parametric Timed Pattern Matching
by: Waga, Masaki, et al.
Published: (2019)

Explicit Hopcroft's Trick in Categorical Partition Refinement
by: Sanada, Takahiro, et al.
Published: (2023)

Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination
by: Okudono, Takamasa, et al.
Published: (2024)

Hyper pattern matching
by: Waga, Masaki, et al.
Published: (2025)

Model-bounded monitoring of hybrid systems
by: Waga, Masaki, et al.
Published: (2021)

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

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

Hyper parametric timed CTL
by: Waga, Masaki, et al.
Published: (2024)

Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption
by: Waga, Masaki, et al.
Published: (2024)

Locality and Centrality: The Variety ZG
by: Amarilli, Antoine, et al.
Published: (2021)

Positive Varieties of Lattice Languages
by: Inoue, Yusuke, et al.
Published: (2025)

WEX: Formal Specifications for Windows in Stream Processing
by: Hitarth, S, et al.
Published: (2022)

Synthesising Asynchronous Automata from Fair Specifications
by: Bérard, Béatrice, et al.
Published: (2025)

Responsibility in Actor-Based Systems
by: Baier, Christel, et al.
Published: (2024)

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

Backward Responsibility in Transition Systems Using General Power Indices
by: Baier, Christel, et al.
Published: (2024)

Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty
by: Yu, Pian, et al.
Published: (2025)

An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols
by: Stutz, Felix, et al.
Published: (2025)

LTL-D*: Incrementally Optimal Replanning for Feasible and Infeasible Tasks in Linear Temporal Logic Specifications
by: Ren, Jiming, et al.
Published: (2024)

Optimization-based Task and Motion Planning under Signal Temporal Logic Specifications using Logic Network Flow
by: Lin, Xuan, et al.
Published: (2024)

Ontology-Driven Model-to-Model Transformation of Workflow Specifications
by: Abreu, Francisco, et al.
Published: (2025)

The Expansion Problem for Infinite Trees
by: Blumensath, Achim
Published: (2023)

A General Information Extraction Framework Based on Formal Languages
by: Schmid, Markus L.
Published: (2025)

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

Statistical process discovery
by: Cry, Pierre, et al.
Published: (2025)

Reasoning about Rare-Event Reachability in Stochastic Vector Addition Systems via Affine Vector Spaces
by: Jeppson, Joshua, et al.
Published: (2025)

Input-Driven Pushdown Automata with Translucent Input Letters
by: Kutrib, Martin, et al.
Published: (2025)

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

Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis
by: Kan, Shuanglong, et al.
Published: (2025)

Universality Frontier for Asynchronous Cellular Automata
by: Baburin, Ivan, et al.
Published: (2025)

From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata
by: Lehaut, Mathieu, et al.
Published: (2026)

One-clock synthesis problems
by: Lasota, Sławomir, et al.
Published: (2026)

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

Infinite-state Games with Energy Objectives Beyond Counters
by: Sağlam, Irmak, et al.
Published: (2026)

Nondeterministic state complexity of square root
by: Onishchenko, Sergey
Published: (2026)

Forgetting Event Order in Higher-Dimensional Automata
by: Zouari, Safa
Published: (2026)

Eilenberg theorems for many-sorted formations
by: Vidal, Juan Climent, et al.
Published: (2016)

Resynchronized Uniformization and Definability Problems for Rational Relations
by: Löding, Christof, et al.
Published: (2021)

Correctness Notions for Petri Nets with Identifiers
by: van der Werf, Jan Martijn E. M., et al.
Published: (2022)