Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 42 results in range #1 to #42.

Monte Carlo tree search for priced timed automata: Label: en
Mirrors and memory in quantum automata: Label: en
Stability analysis of planar probabilistic piecewise constant derivative systems: Label: en
An algorithm for the formal reduction of differential equations as over-approximations: Label: en
Jump longer to jump less: improving dynamic boundary projection with \(h\)-scaling: Label: en
A logical framework for reasoning about local and global properties of collective systems: Label: en
POMDP controllers with optimal budget: Label: en
End-to-end statistical model checking for parametric ODE models: Label: en
Rate lifting for stochastic process algebra -- exploiting structural properties: Label: en
An automated quantitative information flow analysis for concurrent programs: Label: en
Distribution estimation for probabilistic loops: Label: en
Moment-based invariants for probabilistic loops with non-polynomial assignments: Label: en
Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach: Label: en
Policy Synthesis for Collective Dynamics: Label: en
A Hemimetric Extension of Simulation for Semi-Markov Decision Processes: Label: en
Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference: Label: en
Biased Processor Sharing in Fork-Join Queues: Label: en
Bounded Verification of Reachability of Probabilistic Hybrid Systems: Label: en
Automated Verification of Concurrent Stochastic Games: Label: en
Model Checking for Safe Navigation Among Humans: Label: en
Action and State Based Computation Tree Measurement Language and Algorithms: Label: en
Lumping the Approximate Master Equation for Multistate Processes on Complex Networks: Label: en
Incremental Verification of Parametric and Reconfigurable Markov Chains: Label: en
Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties: Label: en
Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis: Label: en
On the Verification of Weighted Kripke Structures Under Uncertainty: Label: en
Parameter-Independent Strategies for pMDPs via POMDPs: Label: en
HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties: Label: en
On the Additive Capacity Problem for Quantitative Information Flow: Label: en
Deciding Bisimilarities on Distributions: Label: en
Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems: Label: en
Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking: Label: en
Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems: Label: en
Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking: Label: en
Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes: Label: en
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms: Label: en
On the Cost of Diagnosis with Disambiguation: Label: en
A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage: Label: en
A Hybrid Multi-trajectory Simulation Algorithm for the Performance Evaluation of Stochastic Petri Nets: Label: en
Exploiting Non-deterministic Analysis in the Integration of Transient Solution Techniques for Markov Regenerative Processes: Label: en
Extending Parikh’s Theorem to Weighted and Probabilistic Context-Free Grammars: Label: en
Automatic pre- and postconditions for partial differential equations: Label: en