Work

Guided Importance Sampling for Safety and Reliability: A Pragmatic Comparison of Symbolic and Simulation-Based Approaches

Year: 2025

Type: conference-paper

Source: IEEE Pacific Rim International Symposium on Dependable Computing (PRDC)

DOI: 10.1109/prdc67299.2025.00034

Authors: Tim Gonschorek, Frank Ortmeier

Institution: Otto-von-Guericke-Universität Magdeburg

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4416677010

FWCI:

Cites: 30

Cited by:

Related to: