Skip to content
<title>Channels - Synthesis from Probabilistic Components :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Synthesis from Probabilistic Components
Search for more channels:
Similar Items: Synthesis from Probabilistic Components
Channel Options
View Record
Explore related channels
Quick Look
Permissive Controller Synthesis for Probabilistic Systems
Quick Look
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata
Quick Look
Probabilistic Algorithmic Knowledge
Quick Look
Infinite Probabilistic Databases
Quick Look
Refinement and Difference for Probabilistic Automata
Quick Look
QRB-Domains and the Probabilistic Powerdomain
Quick Look
Modelling Probabilistic Wireless Networks
Quick Look
Probabilistic call by push value
Quick Look
On Higher-Order Probabilistic Subrecursion
Quick Look
Approximating Queries on Probabilistic Graphs
Quick Look
Deriving Probability Density Functions from Probabilistic Functional Programs
Quick Look
From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality
Quick Look
Cost Preserving Bisimulations for Probabilistic Automata
Quick Look
Model Checking Probabilistic Pushdown Automata
Quick Look
Qualitative Logics and Equivalences for Probabilistic Systems
Quick Look
High-level Counterexamples for Probabilistic Automata
Quick Look
Relative Entailment Among Probabilistic Implications
Quick Look
Quantitative Automata under Probabilistic Semantics
Quick Look
Probabilistic logics based on Riesz spaces
Quick Look
Coalgebraic Semantics for Probabilistic Logic Programming
Quick Look
Differentials and distances in probabilistic coherence spaces
Quick Look
Learning of Structurally Unambiguous Probabilistic Grammars
Quick Look
On Probabilistic Embeddings in Optimal Dimension Reduction
Quick Look
Markov two-components processes
Load more items
View Record
Prev
Explore related channels
Next
