Login / Signup
A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems.
Marco Bernardo
Stefania Botta
Published in:
Math. Struct. Comput. Sci. (2008)
Keyphrases
</>
modal logic
stochastic systems
temporal logic
stochastic models
decision procedures
inference rules
epistemic logic
conservation laws
nonmonotonic logics
confidence intervals
default logic
sample path
situation calculus
stochastic model
machine learning
data model
objective function