A logical duality for underspecified probabilistic systems
Explore this paper's citation graph
Summary
A Stone-type duality is established between specifications and infLMPs and shows that an infL MP can be considered as a demonic representative of a system's information, which carries forward a view where states are less important, and events become the main characters, as it should be in probability theory.
- Type
- article
- Published
- 2011-05-01
- Cited by
- 7
- References
- 25
- OpenAlex
- https://openalex.org/W2087666725
- Semantic Scholar
- https://api.semanticscholar.org/CorpusID:31866525
Keywords
Probabilistic logic, Galois connection, Duality (order theory), Connection (principal bundle), Probabilistic automaton
References
- Bisimulation through Probabilistic Testing
- Labelled Markov Processes
- A probabilistic PDL
- Domain equations for probabilistic processes
- A Calculus of Mobile Processes, II
- Theory of capacities
- Keynes’s “non-numerical” probabilities and non-additive measures
- Non-additive measures by interval probability functions
- Extreme lower probabilities
- Bisimulation and cocongruence for probabilistic systems
- Least upper bounds for probability measures and their applications to abstractions
- Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach
- Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization
- Labelled Markov Processes: Stronger and Faster Approximations
- Bisimulation for labelled Markov processes
- Probability and Measure
- Boolean algebra
- Bisimulation for Labelled Markov Processes
- Probability and Measure.
- Risk, Ambiguity, and the Savage Axioms
Cited by
- Bisimilarity is not Borel †
- Coalgebraic Logics (Dagstuhl Seminar 12411)
- Management of Uncertain Information for Environmental Systems Using a Multistage Fuzzy-Stochastic Programming Model with Soft Constraints
- A Stochastic Game Approach to Masking Fault-Tolerance: Bisimulation and Quantification
- Quantifying Masking Fault-Tolerance via Fair Stochastic Games
- A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems
- Ernst-Erich Doberkat and Alexander Kurz 59 Participants
- 4 Bisimilarity is not Borel
Related papers
- A Syntactical Approach to Weak (Bi-)Simulation for Coalgebras
- Relating Apartness and Bisimulation
- Coalgebras for Fuzzy Transition Systems
- Weak bisimulation for Probabilistic Timed Automata
- Weak bisimulation for probabilistic timed automata and applications to security
- Improving Probabilistic Bisimulation for MDPs Using Machine Learning
- On Behaviour Equivalence for Probabilistic I/O Automata and its Relationship to Probabilistic Bisimulation