Bisimulation in model-changing modal logics: An algorithmic study.

Sujata Ghosh Shreyas Gupta Lei Li

Published in: J. Log. Comput. (2024)

Keyphrases

probabilistic model
computational model
study proposes
high level
probability distribution
mathematical model
simulation study
knowledge base
objective function
modal logic