Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes.
From MaRDI portal
Recommendations
- Bisimulations and logical characterizations on continuous-time Markov decision processes
- Theoretical Aspects of Computing – ICTAC 2005
- Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes
- Bisimulation on Markov processes over arbitrary measurable spaces
- Bisimulation equivalence relation and logic preservation for continue time Markov decision process
- Bisimulations, logics, and trace distributions for stochastic systems with rewards
- Bisimulations for non-deterministic labelled Markov processes
- Bisimulation for labelled Markov processes
- Logical Characterizations of Bisimulations for Discrete Probabilistic Systems
- Theoretical Aspects of Computing – ICTAC 2005
Cites work
- scientific article; zbMATH DE number 1670788 (Why is no real title available?)
- scientific article; zbMATH DE number 48198 (Why is no real title available?)
- scientific article; zbMATH DE number 3536754 (Why is no real title available?)
- scientific article; zbMATH DE number 1361128 (Why is no real title available?)
- scientific article; zbMATH DE number 6846220 (Why is no real title available?)
- scientific article; zbMATH DE number 765034 (Why is no real title available?)
- scientific article; zbMATH DE number 3238722 (Why is no real title available?)
- A Compositional Approach to Performance Modelling
- Bisimulation for labelled Markov processes
- Introdction to Measure and Probability
- Model-checking continuous-time Markov chains
- Real Analysis and Probability
Cited in
(29)- Logical characterization of fluid equivalences
- Probabilistic model checking for energy-utility analysis
- Compositional design of stochastic timed automata
- Approximating Markov processes through filtration
- Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey
- Model checking for performability
- Behavioural equivalences for continuous-time Markov processes
- Equilibrium and termination. II: The case of Petri nets
- Towards a classification of behavioural equivalences in continuous-time Markov processes
- Bisimulations and logical characterizations on continuous-time Markov decision processes
- When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus
- Kleisli morphisms and randomized congruences for the Giry monad
- Bisimulation for Feller-Dynkin processes
- Weak bisimulation is sound and complete for pCTL\(^*\)
- Expressiveness of probabilistic modal logics: a gradual approach
- When are stochastic transition systems tameable?
- Energy-utility analysis for resilient systems using probabilistic model checking
- Probabilistic model checking of labelled Markov processes via finite approximate bisimulations
- Bisimulation and Simulation Relations for Markov Chains
- Continuous Markovian logics -- axiomatization and quantified metatheory
- Bisimulation and cocongruence for probabilistic systems
- Stochastic coalgebraic logic: bisimilarity and behavioral equivalence
- Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes
- Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains
- Bisimulations for non-deterministic labelled Markov processes
- Comparative branching-time semantics for Markov chains
- The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator
- Theoretical Aspects of Computing – ICTAC 2005
- Modular Markovian Logic
This page was built for publication: Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1400292)
