Pages that link to "Item:Q853731"

The following pages link to Performance analysis of probabilistic timed automata using digital clocks (Q853731):

Displaying 26 items.

• Synthesizing efficient systems in probabilistic environments (Q300419) (← links)
• Compositional probabilistic verification through multi-objective model checking (Q386007) (← links)
• Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata (Q517046) (← links)
• A game-based abstraction-refinement framework for Markov decision processes (Q600979) (← links)
• Tweaking the odds in probabilistic timed automata (Q832050) (← links)
• Probabilistic timed automata with clock-dependent probabilities (Q1685793) (← links)
• Verification and control of partially observable probabilistic systems (Q1699230) (← links)
• Abstract model repair for probabilistic systems (Q1706149) (← links)
• Formal verification and quantitative metrics of MPSoC data dynamics (Q1707342) (← links)
• Verification and control for probabilistic hybrid automata with finite bisimulations (Q1734511) (← links)
• Model checking for entanglement swapping (Q2112108) (← links)
• An extension of the inverse method to probabilistic timed automata (Q2248053) (← links)
• Model checking for probabilistic timed automata (Q2248072) (← links)
• Consistency in parametric interval probabilistic timed automata (Q2291816) (← links)
• Deciding probabilistic bisimilarity distance one for probabilistic automata (Q2306848) (← links)
• Local abstraction refinement for probabilistic timed programs (Q2453108) (← links)
• Parameter synthesis for probabilistic timed automata using stochastic game abstractions (Q2636513) (← links)
• Value iteration for simple stochastic games: stopping criterion and learning algorithm (Q2672267) (← links)
• Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata (Q2814125) (← 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)
• (Q5875366) (← links)