Keyword: Adaptive Stopping Algorithms : Search

Applied Filters

People

Publications

Publication Date

1 Results for: Keyword: Adaptive Stopping AlgorithmsEdit SearchSave SearchRSS

Searched The ACM Guide to Computing Literature (3,836,981 records)|Limit your search to The ACM Full-Text Collection (774,404 records)

Showing 1 - 1of1 Results

Select All

Export Citations Save to Binder

per page:

Recency

research-article
January 2025
Scaling up statistical model checking of cyber-physical systems via algorithm ensemble and parallel simulations over HPC infrastructures
Journal of Systems and Software (JSSO), Volume 219, Issue Chttps://doi.org/10.1016/j.jss.2024.112238
Abstract
Model-based formal verification of industry-relevant Cyber-Physical Systems (CPSs) is often a computationally prohibitive task. In most cases, the complexity of the models precludes any prospect of symbolic analysis, leaving numerical simulation ...
Highlights

Model-based verification of industry-relevant Cyber-Physical Systems (CPSs) is often computationally prohibitive.
Simulation-based Statistical Model Checking (SMC) approaches in the form of Adaptive Stopping Algorithms (SAs) are often ...
0
Metrics
Total Citations0