Pages that link to "Item:Q5308390"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5308390):
Displaying 5 items.
- Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects (Q633299) (← links)
- Model checking discounted temporal properties (Q2575738) (← links)
- Quantitative \(\mu\)-calculus and CTL defined over constraint semirings (Q2576952) (← links)
- (Q5101346) (← links)
- Policy synthesis and reinforcement learning for discounted LTL (Q6535643) (← links)