Pages that link to "Item:Q5357702"
From MaRDI portal
The following pages link to Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes (Q5357702):
Displaying 6 items.
- Dynamic Bayesian networks for formal verification of structured stochastic processes (Q523135) (← links)
- Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations (Q2061250) (← links)
- Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations (Q2103672) (← links)
- Compact structures for continuous time Bayesian networks (Q2330009) (← links)
- A non-homogeneous dynamic Bayesian network with sequentially coupled interaction parameters for applications in systems and synthetic biology (Q2922546) (← links)
- Data-driven verification and synthesis of stochastic systems via barrier certificates (Q6537278) (← links)
