Alternating refinement relations for fuzzy concurrent game structures

DOI10.1016/J.TCS.2025.115268MaRDI QIDQ6985815zbMATH OpenFDO

Authors Shasha Zhang, Yanfang Ma, Haiyu Pan, Jie Zhou

Publication date 12 May 2025

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.TCS.2025.115268

zbMATH Keywords

bisimulationfuzzy automatafuzzy languagealternating simulation

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• scientific article; zbMATH DE number 1202379 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• scientific article; zbMATH DE number 2209335 (Why is no real title available?)
• A modal characterization of alternating approximate bisimilarity
• Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems
• Alternating-time temporal logic
• Approximate bisimulations for fuzzy-transition systems
• Bisimulations for fuzzy automata
• Bisimulations for fuzzy transition systems revisited
• Bisimulations for weighted automata over an additively idempotent semiring
• CEGAR for compositional analysis of qualitative properties in Markov decision processes
• Computation of the greatest simulations and bisimulations between fuzzy automata
• Computational power of dynamic threshold neural P systems for generating string languages
• Computing crisp bisimulations for fuzzy structures
• Computing the fuzzy partition corresponding to the greatest fuzzy auto-bisimulation of a fuzzy graph-based structure under the Gödel semantics
• Depth-bounded fuzzy simulations and bisimulations between fuzzy automata
• Determinisability of unary weighted automata over the rational numbers
• Fuzzy alternating automata over distributive lattices
• Fuzzy simulations and bisimulations between fuzzy automata
• Interface simulation distances
• Labeled fuzzy approximations based on bisimulations
• Logical characterizations of simulation and bisimulation for fuzzy transition systems
• Model checking fuzzy computation tree logic
• Nondeterministic fuzzy automata with membership values in complete residuated lattices
• Polynomial-time algorithms for computing distances of fuzzy transition systems
• Reactive Systems
• Singly exponential translation of alternating weak Büchi automata to unambiguous Büchi automata
• Synthesising succinct strategies in safety games with an application to real-time scheduling
• The metric linear-time branching-time spectrum on nondeterministic probabilistic processes

This page was built for publication: Alternating refinement relations for fuzzy concurrent game structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6985815)