Pages that link to "Item:Q853731"
From MaRDI portal
The following pages link to Performance analysis of probabilistic timed automata using digital clocks (Q853731):
Displayed 13 items.
- Compositional probabilistic verification through multi-objective model checking (Q386007) (← links)
- A game-based abstraction-refinement framework for Markov decision processes (Q600979) (← links)
- An extension of the inverse method to probabilistic timed automata (Q2248053) (← links)
- Model checking for probabilistic timed automata (Q2248072) (← links)
- Local abstraction refinement for probabilistic timed programs (Q2453108) (← links)
- Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata (Q2945592) (← links)
- Verification and Control of Partially Observable Probabilistic Real-Time Systems (Q2945599) (← links)
- Performance Model Checking Scenario-Aware Dataflow (Q3172842) (← links)
- Concavely-Priced Probabilistic Timed Automata (Q3184689) (← links)
- Strict Divergence for Probabilistic Timed Automata (Q3184704) (← links)
- Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions (Q3447704) (← links)
- Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata (Q3614855) (← links)
- Stochastic Games for Verification of Probabilistic Timed Automata (Q3648833) (← links)