Simulation quotients simulating bisimulation quotients

DOI10.1007/978-3-032-22469-9_10MaRDI QIDQ7287079zbMATH OpenFDO

Authors Roland Glück

Publication date 23 June 2026

Full work available at URL https://doi.org/10.1007/978-3-032-22469-9_10

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• A matrix-oriented view of bisimulation quotients over dioid-labeled transition systems
• A relation-algebraic theory of bisimulations
• Automated Reasoning for Hybrid Systems — Two Case Studies —
• Bisimulations and logics for higher-dimensional automata
• Compatibility of refining and controlling plant automata with bisimulation quotients
• Complete solution of an optimization problem in tropical semifield
• Decidability of branching bisimulation on normed commutative context-free processes
• Dijkstra, Floyd and Warshall meet Kleene
• Graphs, dioids and semirings. New models and algorithms.
• scientific article; zbMATH DE number 234018 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Model checking
• Partial derivative and position bisimilarity automata
• Probabilistic guarded KAT Modulo bisimilarity: completeness and complexity
• Ruitenburg's theorem via duality and bounded bisimulations
• Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems
• Temporal logics in computer science. Finite-state systems
• Using bisimulations for optimality problems in model refinement

This page was built for publication: Simulation quotients simulating bisimulation quotients

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