Probabilistic logical characterization
From MaRDI portal
Publication:627128
DOI10.1016/J.IC.2010.11.024zbMath1210.68072OpenAlexW2110601664MaRDI QIDQ627128
Augusto Parma, Holger Hermanns, Björn Wachter, Roberto Segala, Li-jun Zhang
Publication date: 21 February 2011
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2010.11.024
Formal languages and automata (68Q45) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (24)
Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions ⋮ A General Framework for Probabilistic Characterizing Formulae ⋮ A space-efficient simulation algorithm on probabilistic automata ⋮ A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences ⋮ Probabilistic bisimilarity as testing equivalence ⋮ On the probabilistic bisimulation spectrum with silent moves ⋮ Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions ⋮ Sound approximate and asymptotic probabilistic bisimulations for PCTL ⋮ Exploring probabilistic bisimulations. I ⋮ Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Limited approximate bisimulations and the corresponding rough approximations ⋮ On the Semantics of Markov Automata ⋮ Logical characterizations of simulation and bisimulation for fuzzy transition systems ⋮ The metric linear-time branching-time spectrum on nondeterministic probabilistic processes ⋮ Differential privacy in probabilistic systems ⋮ Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes ⋮ Logical characterization of branching metrics for nondeterministic probabilistic transition systems ⋮ Bisimulations Meet PCTL Equivalences for Probabilistic Automata ⋮ A Spectrum of Behavioral Relations over LTSs on Probability Distributions ⋮ Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations ⋮ Trace semantics via determinization
This page was built for publication: Probabilistic logical characterization
