Pages that link to "Item:Q2248073"

The following pages link to A compositional modelling and analysis framework for stochastic hybrid systems (Q2248073):

Displaying 17 items.

• A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces (Q831141) (← links)
• Tweaking the odds in probabilistic timed automata (Q832050) (← links)
• Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction (Q832097) (← links)
• Revisiting sequential composition in process calculi (Q890611) (← links)
• Adaptive step size numerical integration for stochastic differential equations with discontinuous drift and diffusion (Q2028043) (← links)
• A probabilistic calculus of cyber-physical systems (Q2042728) (← links)
• Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations (Q2061250) (← links)
• Compositional construction of control barrier functions for continuous-time stochastic hybrid systems (Q2081792) (← links)
• Compositional abstraction-based synthesis for networks of stochastic switched systems (Q2174019) (← links)
• Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach (Q2178236) (← links)
• Multi-cost bounded tradeoff analysis in MDP (Q2208304) (← links)
• Preface to the special issue on probabilistic model checking (Q2248070) (← links)
• A compositional modelling and verification framework for stochastic hybrid systems (Q2403530) (← links)
• Estimating the volume of the solution space of SMT(LIA) constraints by a flat histogram method (Q2633263) (← links)
• Identity-Based Cryptosystems and Quadratic Residuosity (Q2798777) (← links)
• A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems (Q2937731) (← links)
• Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic (Q6151620) (← links)