Pages that link to "Item:Q1603709"
From MaRDI portal
The following pages link to Automatic verification of real-time systems with discrete probability distributions. (Q1603709):
Displaying 50 items.
- Expected reachability-time games (Q278757) (← links)
- Better abstractions for timed automata (Q342707) (← links)
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- Safety verification for probabilistic hybrid systems (Q389835) (← links)
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Combined model checking for temporal, probabilistic, and real-time logics (Q407511) (← links)
- Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata (Q517046) (← links)
- Weak bisimulation for probabilistic timed automata (Q606996) (← links)
- Tweaking the odds in probabilistic timed automata (Q832050) (← links)
- State explosion in almost-sure probabilistic reachability (Q846015) (← links)
- Performance analysis of probabilistic timed automata using digital clocks (Q853731) (← links)
- Performance analysis and functional verification of the stop-and-wait protocol in HOL (Q1040781) (← links)
- A note on the attractor-property of infinite-state Markov chains (Q1045897) (← links)
- Verifying automata specification of distributed probabilistic real-time systems (Q1273079) (← links)
- \textsc{ULTraS} at work: compositionality metaresults for bisimulation and trace semantics (Q1683708) (← links)
- Probabilistic timed automata with clock-dependent probabilities (Q1685793) (← links)
- Formal verification and quantitative metrics of MPSoC data dynamics (Q1707342) (← links)
- Verification and control for probabilistic hybrid automata with finite bisimulations (Q1734511) (← links)
- Probabilistic timed graph transformation systems (Q1994363) (← links)
- Model checking for entanglement swapping (Q2112108) (← links)
- Interval probabilistic timed graph transformation systems (Q2117267) (← links)
- Towards general axiomatizations for bisimilarity and trace semantics (Q2237336) (← links)
- An extension of the inverse method to probabilistic timed automata (Q2248053) (← links)
- Model checking for probabilistic timed automata (Q2248072) (← links)
- A compositional modelling and analysis framework for stochastic hybrid systems (Q2248073) (← links)
- Consistency in parametric interval probabilistic timed automata (Q2291816) (← links)
- Towards light-weight probabilistic model checking (Q2336743) (← links)
- Symbolic model checking for probabilistic timed automata (Q2373877) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- Local abstraction refinement for probabilistic timed programs (Q2453108) (← links)
- A theory of stochastic systems. I: Stochastic automata (Q2575854) (← links)
- Parameter synthesis for probabilistic timed automata using stochastic game abstractions (Q2636513) (← links)
- Identity-Based Cryptosystems and Quadratic Residuosity (Q2798777) (← links)
- Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata (Q2814125) (← links)
- Probabilistic Time Petri Nets (Q2822657) (← links)
- On verification of linear occurrence properties of real-time systems (Q2873689) (← links)
- Verification and Control of Probabilistic Rectangular Hybrid Automata (Q2945577) (← links)
- Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata (Q2945592) (← links)
- Emptiness and Universality Problems in Timed Automata with Positive Frequency (Q3012924) (← links)
- (Q3121518) (← links)
- Probabilistic Real-Time Rewrite Theories and Their Expressive Power (Q3172843) (← links)
- Model Checking Probabilistic Systems (Q3176386) (← links)
- Concavely-Priced Probabilistic Timed Automata (Q3184689) (← links)
- Strict Divergence for Probabilistic Timed Automata (Q3184704) (← links)
- Calculating Probabilities of Real-Time Test Cases (Q3434607) (← 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)
- (Q5028426) (← links)
- Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities (Q5041280) (← links)
