Pages that link to "Item:Q2921114"
From MaRDI portal
The following pages link to Analysis of timed and long-run objectives for Markov automata (Q2921114):
Displaying 9 items.
- Confluence reduction for Markov automata (Q507382) (← links)
- On the semantics of Markov automata (Q1951578) (← links)
- Multi-objective optimization of long-run average and total rewards (Q2044201) (← links)
- Markov automata with multiple objectives (Q2151241) (← links)
- Cost vs. time in stochastic games and Markov automata (Q2403526) (← links)
- Fault trees on a diet: automated reduction by graph rewriting (Q2403528) (← links)
- Attribute-Based Signatures for Circuits from Bilinear Map (Q2798779) (← links)
- Long-Run Rewards for Markov Automata (Q3303930) (← links)
- A modest Markov automata tutorial (Q6535989) (← links)