Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
An efficient statistical model checker for nondeterminism and rare events
Statistical model checking avoids the state space explosion problem in verification and
naturally supports complex non-Markovian formalisms. Yet as a simulation-based approach …
naturally supports complex non-Markovian formalisms. Yet as a simulation-based approach …
A statistical model checker for nondeterminism and rare events
Statistical model checking avoids the state space explosion problem in verification and
naturally supports complex non-Markovian formalisms. Yet as a simulation-based approach …
naturally supports complex non-Markovian formalisms. Yet as a simulation-based approach …
[PDF][PDF] Arch-comp21 category report: Stochastic models
This report presents the results of a friendly competition for formal verification and policy
synthesis of stochastic models. It also introduces new benchmarks within this category, and …
synthesis of stochastic models. It also introduces new benchmarks within this category, and …
Towards safe and resilient hybrid systems in the presence of learning and uncertainty
Intelligent hybrid systems pose a major challenge for the analysis of safety and resilience.
Deductive formal verification methods for such systems typically use strong abstractions and …
Deductive formal verification methods for such systems typically use strong abstractions and …
Learning optimal decisions for stochastic hybrid systems
We apply reinforcement learning to approximate the optimal probability that a stochastic
hybrid system satisfies a temporal logic formula. We consider systems with (non) linear …
hybrid system satisfies a temporal logic formula. We consider systems with (non) linear …
ARCH-COMP19 category report: Stochastic modelling
This report presents the results of a friendly competition for formal verification and policy
synthesis of stochastic models. It also introduces new benchmarks within this category, and …
synthesis of stochastic models. It also introduces new benchmarks within this category, and …
Shielded learning for resilience and performance based on statistical model checking in simulink
Safety, resilience and performance are crucial properties in intelligent hybrid systems, in
particular if they are used in critical infrastructures or safety-critical systems. In this paper, we …
particular if they are used in critical infrastructures or safety-critical systems. In this paper, we …
State-space construction of hybrid petri nets with multiple stochastic firings
J Hüls, C Pilch, P Schinke, H Niehaus… - ACM Transactions on …, 2021 - dl.acm.org
Hybrid Petri nets have been extended to include general transitions that fire after a randomly
distributed amount of time. With a single general one-shot transition the state space and …
distributed amount of time. With a single general one-shot transition the state space and …
Arch-comp22 category report: stochastic models
This report presents the results of a friendly competition for formal verification and policy
synthesis of stochastic models. It also introduces new benchmarks and their properties …
synthesis of stochastic models. It also introduces new benchmarks and their properties …
Sound Statistical Model Checking for Probabilities and Expected Rewards
Statistical model checking estimates probabilities and expectations of interest in probabilistic
system models by using random simulations. Its results come with statistical guarantees …
system models by using random simulations. Its results come with statistical guarantees …