Modular Markovian Logic.
We introduce Modular Markovian Logic (MML) for compositional continuous-time and continuous-space Markov processes. MML combines operators specific to stochastic logics with operators reflecting the modular structure of the models, similar to those used by spatial and separation logics. We present a...
| Main Authors: | , , |
|---|---|
| Other Authors: | |
| Format: | Book section |
| Published: |
Springer
2011
|