Model independent approach to probabilistic models
Yuxi Fu
Topics & Concepts
Probabilistic logicNondeterministic algorithmProbabilistic relevance modelProbabilistic argumentationBisimulationDivergence-from-randomness modelProbabilistic CTLConcurrencyComputer scienceStatistical modelProbabilistic automatonProcess (computing)Probabilistic analysis of algorithmsTheoretical computer scienceProcess calculusArtificial intelligenceProgramming languageFormal Methods in VerificationSimulation Techniques and ApplicationsAdvanced Database Systems and Queries